Bob, who is nice and kind, can also be thought of as cold and rough. Dave is blue and cold. Big Fred is still young so it's easy for him to be kind. Gary is big and rough. Kind young people are red. Soon you will understand that big people are nice. A nice young person who is rough around the edges is big. Red, young people are for the most part round too. A round and blue individual will also be a cold individual. Kind people, for example, like the ones at the bank are always blue.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are round.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Dave is blue.
True
1
proof
[(triple6)]
("Dave" "is" "blue" "+")
triple6
Gary is not rough.
False
1
inv-proof
[(triple10)]
("Gary" "is" "rough" "-")
triple10
Fred is red.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Fred" "is" "red" "+")
((triple8 triple7) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not red.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Fred" "is" "red" "-")
((triple8 triple7) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
True
5
proof
[(((((triple8 triple7) -> rule1) triple7) -> rule4))]
("Fred" "is" "round" "+")
((((triple8 triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not round.
False
5
inv-proof
[(((((triple8 triple7) -> rule1) triple7) -> rule4))]
("Fred" "is" "round" "-")
((((triple8 triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
True
8
proof
[(((((((triple8 triple7) -> rule1) triple7) -> rule4) ((triple8) -> rule6)) -> rule5))]
("Fred" "is" "cold" "+")
((((((triple8 triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3)) ((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is not cold.
False
8
inv-proof
[(((((((triple8 triple7) -> rule1) triple7) -> rule4) ((triple8) -> rule6)) -> rule5))]
("Fred" "is" "cold" "-")
((((((triple8 triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3)) ((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "blue" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple6)] Dave is cold.[(triple5)] Fred is big.[(triple9)] Fred is kind.[(triple8)] Fred is young.[(triple7)] Gary is big.[(triple11)] Gary is rough.[(triple10)] @1: Bob is blue.[(((triple3) -> rule6))] Fred is blue.[(((triple8) -> rule6))] Fred is nice.[(((triple9) -> rule2))] Fred is red.[(((triple8 triple7) -> rule1))] Gary is nice.[(((triple11) -> rule2))] @2: Fred is round.[(((((triple8 triple7) -> rule1) triple7) -> rule4))] @3: Fred is cold.[(((((((triple8 triple7) -> rule1) triple7) -> rule4) ((triple8) -> rule6)) -> rule5))]
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Bob is blue.
("Bob" "is" "blue" "+")
((triple3) -> (rule6 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple8) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple8 triple7) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple11) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((((triple8 triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple8 triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3)) ((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Bob, who is nice and kind, can also be thought of as cold and rough.
Dave is blue and cold.
Big Fred is still young so it's easy for him to be kind.
Gary is big and rough.
Kind young people are red.
Soon you will understand that big people are nice.
A nice young person who is rough around the edges is big.
Red, young people are for the most part round too.
A round and blue individual will also be a cold individual.
Kind people, for example, like the ones at the bank are always blue.