Bob 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. Charlie is both big and round, with blue features. Dave always goes out of his way to show that he is kind to people. Harry is rough and cold, but he's young and will get over it. Big and round people can't help but be cold all of the time. Rough people, round from over eating, who are also cold are young and don't mind the draft. Kind young people that are still blue are generally round shaped. Big people that have a rough demeanor usually feel blue. A young, green person who is cold is rough around the edges. A person with a round body will be feeling very cold and will be rough to handle. Someone who is cold and big is also a red person.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and cold and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and rough then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and round then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Dave is kind.
True
1
proof
[(triple6)]
("Dave" "is" "kind" "+")
triple6
Harry is not cold.
False
1
inv-proof
[(triple9)]
("Harry" "is" "cold" "-")
triple9
Charlie is cold.
True
3
proof
[(((triple5 triple3) -> rule1))]
("Charlie" "is" "cold" "+")
((triple5 triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
3
inv-proof
[(((triple5 triple3) -> rule1))]
("Charlie" "is" "cold" "-")
((triple5 triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
True
5
proof
[(((triple5 ((triple5 triple3) -> rule1)) -> rule7))]
("Charlie" "is" "red" "+")
((triple5 ((triple5 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not rough.
False
5
inv-proof
[(((((triple5 triple3) -> rule1) triple3) -> rule6))]
("Charlie" "is" "rough" "-")
((((triple5 triple3) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
True
10
proof
[(((triple3 ((triple5 triple3) -> rule1) ((((triple5 triple3) -> rule1) triple3) -> rule6)) -> rule2))]
("Charlie" "is" "young" "+")
((triple3 ((triple5 triple3) -> (rule1 % int3)) ((((triple5 triple3) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not young.
False
10
inv-proof
[(((triple3 ((triple5 triple3) -> rule1) ((((triple5 triple3) -> rule1) triple3) -> rule6)) -> rule2))]
("Charlie" "is" "young" "-")
((triple3 ((triple5 triple3) -> (rule1 % int3)) ((((triple5 triple3) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "red" "-")
Dave is round.
Unknown
rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is blue.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is blue.[(triple4 OR ((triple5 ((((triple5 triple3) -> rule1) triple3) -> rule6)) -> rule4))] Charlie is round.[(triple3)] Dave is kind.[(triple6)] Harry is cold.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Charlie is cold.[(((triple5 triple3) -> rule1))] @2: Charlie is red.[(((triple5 ((triple5 triple3) -> rule1)) -> rule7))] Charlie is rough.[(((((triple5 triple3) -> rule1) triple3) -> rule6))] @3: Charlie is young.[(((triple3 ((triple5 triple3) -> rule1) ((((triple5 triple3) -> rule1) triple3) -> rule6)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
((triple5 ((((triple5 triple3) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple5 triple3) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple5 ((triple5 triple3) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple5 triple3) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple3 ((triple5 triple3) -> (rule1 % int3)) ((((triple5 triple3) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Bob 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.
Charlie is both big and round, with blue features.
Dave always goes out of his way to show that he is kind to people.
Harry is rough and cold, but he's young and will get over it.
Big and round people can't help but be cold all of the time.
Rough people, round from over eating, who are also cold are young and don't mind the draft.
Kind young people that are still blue are generally round shaped.
Big people that have a rough demeanor usually feel blue.
A young, green person who is cold is rough around the edges.
A person with a round body will be feeling very cold and will be rough to handle.
Someone who is cold and big is also a red person.