Alan was born only a few years ago so he is young. Charlie grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Dave is so big, he is often blue, but always kind. Harry is blue and cold. Young round blue people are also big people. If a human is both young and kind, they are also cold. If a person is red and green, then they will present as big. A kind person who is big in size is definitely young. A person that is round, green, and blue is usually considered cold. A big, blue and cold person will also be a round person.
Alan is young.
("Alan" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Charlie is blue.
True
1
proof
[(triple3)]
("Charlie" "is" "blue" "+")
triple3
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Dave is young.
True
3
proof
[(((triple4 triple6) -> rule4))]
("Dave" "is" "young" "+")
((triple4 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is not young.
False
3
inv-proof
[(((triple4 triple6) -> rule4))]
("Dave" "is" "young" "-")
((triple4 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
True
5
proof
[(((((triple4 triple6) -> rule4) triple4) -> rule2))]
("Dave" "is" "cold" "+")
((((triple4 triple6) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not cold.
False
5
inv-proof
[(((((triple4 triple6) -> rule4) triple4) -> rule2))]
("Dave" "is" "cold" "-")
((((triple4 triple6) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
True
8
proof
[(((triple6 ((((triple4 triple6) -> rule4) triple4) -> rule2) triple5) -> rule6))]
("Dave" "is" "round" "+")
((triple6 ((((triple4 triple6) -> (rule4 % int3)) triple4) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is not round.
False
8
inv-proof
[(((triple6 ((((triple4 triple6) -> rule4) triple4) -> rule2) triple5) -> rule6))]
("Dave" "is" "round" "-")
((triple6 ((((triple4 triple6) -> (rule4 % int3)) triple4) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "young" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "big" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Alan is young.[(triple1)] Charlie is blue.[(triple3)] Charlie is rough.[(triple2)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is kind.[(triple4)] Harry is blue.[(triple8)] Harry is cold.[(triple7)] @1: Dave is young.[(((triple4 triple6) -> rule4))] @2: Dave is cold.[(((((triple4 triple6) -> rule4) triple4) -> rule2))] @3: Dave is round.[(((triple6 ((((triple4 triple6) -> rule4) triple4) -> rule2) triple5) -> rule6))]
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
((triple4 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple4 triple6) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple6 ((((triple4 triple6) -> (rule4 % int3)) triple4) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Alan was born only a few years ago so he is young.
Charlie grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Dave is so big, he is often blue, but always kind.
Harry is blue and cold.
Young round blue people are also big people.
If a human is both young and kind, they are also cold.
If a person is red and green, then they will present as big.
A kind person who is big in size is definitely young.
A person that is round, green, and blue is usually considered cold.
A big, blue and cold person will also be a round person.