Bob is rough, round and young but also red. Dave wears all blue. Harry's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Because someone is green and kind they are extremely nice to people. If the description of nice and green applies to somebody, the description of young will, too. If someone is cold and young, you'll see that they are kind. A young, red person will certainly be cold. A person described as cold and kind can also be described as nice. Find someone big, blue, and kind, and you'll see they are also quite young. Young people who are cold and painted red are usually big and part of the football team.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and kind then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and young then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Dave is blue.
True
1
proof
[(triple5)]
("Dave" "is" "blue" "+")
triple5
Bob is not round.
False
1
inv-proof
[(triple2)]
("Bob" "is" "round" "-")
triple2
Harry is young.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Harry" "is" "young" "+")
((triple7 triple6) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Harry" "is" "young" "-")
((triple7 triple6) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is big.
True
6
proof
[(((((triple4 triple1) -> rule4) triple4 triple1) -> rule7))]
("Bob" "is" "big" "+")
((((triple4 triple1) -> (rule4 % int2)) triple4 triple1) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((((triple4 triple1) -> rule4) triple1) -> rule3))]
("Bob" "is" "kind" "-")
((((triple4 triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
True
9
proof
[(((((triple4 triple1) -> rule4) ((((triple4 triple1) -> rule4) triple1) -> rule3)) -> rule5))]
("Bob" "is" "nice" "+")
((((triple4 triple1) -> (rule4 % int3)) ((((triple4 triple1) -> (rule4 % int3)) triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not nice.
False
9
inv-proof
[(((((triple4 triple1) -> rule4) ((((triple4 triple1) -> rule4) triple1) -> rule3)) -> rule5))]
("Bob" "is" "nice" "-")
((((triple4 triple1) -> (rule4 % int3)) ((((triple4 triple1) -> (rule4 % int3)) triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "cold" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Dave" "is" "young" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Bob is red.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple5)] Harry is blue.[(triple8)] Harry is green.[(triple7)] Harry is nice.[(triple6)] @1: Bob is cold.[(((triple4 triple1) -> rule4))] Harry is young.[(((triple7 triple6) -> rule2))] @2: Bob is big.[(((((triple4 triple1) -> rule4) triple4 triple1) -> rule7))] Bob is kind.[(((((triple4 triple1) -> rule4) triple1) -> rule3))] @3: Bob is nice.[(((((triple4 triple1) -> rule4) ((((triple4 triple1) -> rule4) triple1) -> rule3)) -> rule5))]
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple1) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple7 triple6) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple4 triple1) -> (rule4 % int2)) triple4 triple1) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple4 triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4 triple1) -> (rule4 % int3)) ((((triple4 triple1) -> (rule4 % int3)) triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough, round and young but also red.
Dave wears all blue.
Harry's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Because someone is green and kind they are extremely nice to people.
If the description of nice and green applies to somebody, the description of young will, too.
If someone is cold and young, you'll see that they are kind.
A young, red person will certainly be cold.
A person described as cold and kind can also be described as nice.
Find someone big, blue, and kind, and you'll see they are also quite young.
Young people who are cold and painted red are usually big and part of the football team.