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. Big, round Charlie is cold and very green. When you meet Fred you'll the two characteristics that will standout is that he's red but also rough. Harry is nice, even when he is rough and red with anger. Someone who has a a young round face is often rough around the edges. Someone big and rough in shape is always kind. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Someone who tends to be icy cold and rough but secretly nice are generally very blue. Blue and red people who are young always have rough skin.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough and nice then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Harry is rough.
True
1
proof
[(triple9)]
("Harry" "is" "rough" "+")
triple9
Harry is not nice.
False
1
inv-proof
[(triple11)]
("Harry" "is" "nice" "-")
triple11
Charlie is young.
True
4
proof
[(((triple5 triple4 triple6) -> rule3))]
("Charlie" "is" "young" "+")
((triple5 triple4 triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
4
inv-proof
[(((triple5 triple4 triple6) -> rule3))]
("Charlie" "is" "young" "-")
((triple5 triple4 triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
True
6
proof
[(((triple3 ((triple5 triple4 triple6) -> rule3)) -> rule1))]
("Charlie" "is" "rough" "+")
((triple3 ((triple5 triple4 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not rough.
False
6
inv-proof
[(((triple3 ((triple5 triple4 triple6) -> rule3)) -> rule1))]
("Charlie" "is" "rough" "-")
((triple3 ((triple5 triple4 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
True
8
proof
[(((triple6 ((triple3 ((triple5 triple4 triple6) -> rule3)) -> rule1)) -> rule2))]
("Charlie" "is" "kind" "+")
((triple6 ((triple3 ((triple5 triple4 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not kind.
False
8
inv-proof
[(((triple6 ((triple3 ((triple5 triple4 triple6) -> rule3)) -> rule1)) -> rule2))]
("Charlie" "is" "kind" "-")
((triple6 ((triple3 ((triple5 triple4 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is blue.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is round.[(triple3)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Harry is nice.[(triple11)] Harry is red.[(triple10)] Harry is rough.[(triple9)] @1: Charlie is young.[(((triple5 triple4 triple6) -> rule3))] @2: Charlie is rough.[(((triple3 ((triple5 triple4 triple6) -> rule3)) -> rule1))] @3: Charlie is kind.[(((triple6 ((triple3 ((triple5 triple4 triple6) -> rule3)) -> rule1)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
((triple5 triple4 triple6) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3 ((triple5 triple4 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple6 ((triple3 ((triple5 triple4 triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
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.
Big, round Charlie is cold and very green.
When you meet Fred you'll the two characteristics that will standout is that he's red but also rough.
Harry is nice, even when he is rough and red with anger.
Someone who has a a young round face is often rough around the edges.
Someone big and rough in shape is always kind.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
Someone who tends to be icy cold and rough but secretly nice are generally very blue.
Blue and red people who are young always have rough skin.