Bob wears all blue. Charlie is known to be rough and green. Dave looks to be red, green, and blue, he is also round and rough. Fred is rough around the edges, but he's often blue and always nice. If the description of nice and green applies to somebody, the description of young will, too. People that feel green are cold to people that try to help them. A rough, big, and round person can't help but be kind as well. Being blue, cold, and rough must be very trying. At least they are also big.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Fred is rough.
True
1
proof
[(triple9)]
("Fred" "is" "rough" "+")
triple9
Fred is not blue.
False
1
inv-proof
[(triple11)]
("Fred" "is" "blue" "-")
triple11
Charlie is cold.
True
2
proof
[(((triple3) -> rule2))]
("Charlie" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "cold" "-")
((triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Dave is big.
True
5
proof
[(((triple8 ((triple7) -> rule2) triple5) -> rule4))]
("Dave" "is" "big" "+")
((triple8 ((triple7) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not big.
False
5
inv-proof
[(((triple8 ((triple7) -> rule2) triple5) -> rule4))]
("Dave" "is" "big" "-")
((triple8 ((triple7) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
True
8
proof
[(((triple5 ((triple8 ((triple7) -> rule2) triple5) -> rule4) triple4) -> rule3))]
("Dave" "is" "kind" "+")
((triple5 ((triple8 ((triple7) -> (rule2 % int3)) triple5) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not kind.
False
8
inv-proof
[(((triple5 ((triple8 ((triple7) -> rule2) triple5) -> rule4) triple4) -> rule3))]
("Dave" "is" "kind" "-")
((triple5 ((triple8 ((triple7) -> (rule2 % int3)) triple5) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "big" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is blue.[(triple1)] Charlie is green.[(triple3)] Charlie is rough.[(triple2)] Dave is blue.[(triple8)] Dave is green.[(triple7)] Dave is red.[(triple6)] Dave is rough.[(triple5)] Dave is round.[(triple4)] Fred is blue.[(triple11)] Fred is nice.[(triple10)] Fred is rough.[(triple9)] @1: Charlie is cold.[(((triple3) -> rule2))] Dave is cold.[(((triple7) -> rule2))] @2: Dave is big.[(((triple8 ((triple7) -> rule2) triple5) -> rule4))] @3: Dave is kind.[(((triple5 ((triple8 ((triple7) -> rule2) triple5) -> rule4) triple4) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple8 ((triple7) -> (rule2 % int2)) triple5) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple5 ((triple8 ((triple7) -> (rule2 % int3)) triple5) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob wears all blue.
Charlie is known to be rough and green.
Dave looks to be red, green, and blue, he is also round and rough.
Fred is rough around the edges, but he's often blue and always nice.
If the description of nice and green applies to somebody, the description of young will, too.
People that feel green are cold to people that try to help them.
A rough, big, and round person can't help but be kind as well.
Being blue, cold, and rough must be very trying; At least they are also big.