Bob wears all blue. Fred feels nice and kind today, so he paints himself green and embraces his cold side. Fred is big enough to do whatever he wants. Big, red Harry is quite kind. You will probably see that red, round people are nice, as well as green. If people are cold they are often red. A kind, young person will be rough textured. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. People who are red, young, and round are also blue. Nice people that are colored red and green are always round. Red people who are green and blue are always kind.
Bob is blue.
("Bob" "is" "blue" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is round and red and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and red and nice then they are round.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and green then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Harry is kind.
True
1
proof
[(triple8)]
("Harry" "is" "kind" "+")
triple8
Harry is not big.
False
1
inv-proof
[(triple9)]
("Harry" "is" "big" "-")
triple9
Fred is red.
True
2
proof
[(((triple5) -> rule2))]
("Fred" "is" "red" "+")
((triple5) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not young.
False
4
inv-proof
[(((triple2 triple6 triple3) -> rule4))]
("Fred" "is" "young" "-")
((triple2 triple6 triple3) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
True
5
proof
[(((triple4 ((triple5) -> rule2) triple2) -> rule6))]
("Fred" "is" "round" "+")
((triple4 ((triple5) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not round.
False
5
inv-proof
[(((triple4 ((triple5) -> rule2) triple2) -> rule6))]
("Fred" "is" "round" "-")
((triple4 ((triple5) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
True
12
proof
[(((((triple4 ((triple5) -> rule2) triple2) -> rule6) ((triple5) -> rule2) ((triple2 triple6 triple3) -> rule4)) -> rule5))]
("Fred" "is" "blue" "+")
((((triple4 ((triple5) -> (rule2 % int4)) triple2) -> (rule6 % int3)) ((triple5) -> (rule2 % int4)) ((triple2 triple6 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is not blue.
False
12
inv-proof
[(((((triple4 ((triple5) -> rule2) triple2) -> rule6) ((triple5) -> rule2) ((triple2 triple6 triple3) -> rule4)) -> rule5))]
("Fred" "is" "blue" "-")
((((triple4 ((triple5) -> (rule2 % int4)) triple2) -> (rule6 % int3)) ((triple5) -> (rule2 % int4)) ((triple2 triple6 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "green" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "round" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is blue.[(triple1)] Fred is big.[(triple6)] Fred is cold.[(triple5)] Fred is green.[(triple4)] Fred is kind.[(triple3)] Fred is nice.[(triple2)] Harry is big.[(triple9)] Harry is kind.[(triple8)] Harry is red.[(triple7)] @1: Fred is red.[(((triple5) -> rule2))] Fred is young.[(((triple2 triple6 triple3) -> rule4))] @2: Fred is rough.[(((((triple2 triple6 triple3) -> rule4) triple3) -> rule3))] Fred is round.[(((triple4 ((triple5) -> rule2) triple2) -> rule6))] @3: Fred is blue.[(((((triple4 ((triple5) -> rule2) triple2) -> rule6) ((triple5) -> rule2) ((triple2 triple6 triple3) -> rule4)) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple4
Fred is kind.
("Fred" "is" "kind" "+")
triple3
Fred is nice.
("Fred" "is" "nice" "+")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
((triple5) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple2 triple6 triple3) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((((triple2 triple6 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((triple4 ((triple5) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((triple4 ((triple5) -> (rule2 % int4)) triple2) -> (rule6 % int3)) ((triple5) -> (rule2 % int4)) ((triple2 triple6 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Bob wears all blue.
Fred feels nice and kind today, so he paints himself green and embraces his cold side; Fred is big enough to do whatever he wants.
Big, red Harry is quite kind.
You will probably see that red, round people are nice, as well as green.
If people are cold they are often red.
A kind, young person will be rough textured.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
People who are red, young, and round are also blue.
Nice people that are colored red and green are always round.
Red people who are green and blue are always kind.