Bob is a rough but very kind and blue person. Eric who is considered nice was feeling rather rough today. Fred is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. Harry is round shaped and green colored. Cold and rough people will also surely be round shaped. Blue kind people are almost always nice to others. People who are rough around the edges, nice, and a bit blue are young. That young person is feeling cold because he is green to the situation making his body shape round. Someone who is young and nice is often round. Young people who are cold and painted red are usually big and part of the football team.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and nice and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and red and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Fred is cold.
True
1
proof
[(triple9)]
("Fred" "is" "cold" "+")
triple9
Fred is not green.
False
1
inv-proof
[(triple8)]
("Fred" "is" "green" "-")
triple8
Bob is nice.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Bob" "is" "nice" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Bob" "is" "nice" "-")
((triple3 triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
True
6
proof
[(((triple1 ((triple3 triple2) -> rule2) triple3) -> rule3))]
("Bob" "is" "young" "+")
((triple1 ((triple3 triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is not young.
False
6
inv-proof
[(((triple1 ((triple3 triple2) -> rule2) triple3) -> rule3))]
("Bob" "is" "young" "-")
((triple1 ((triple3 triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
True
10
proof
[(((((triple1 ((triple3 triple2) -> rule2) triple3) -> rule3) ((triple3 triple2) -> rule2)) -> rule5))]
("Bob" "is" "round" "+")
((((triple1 ((triple3 triple2) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((triple3 triple2) -> (rule2 % int3))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is not round.
False
10
inv-proof
[(((((triple1 ((triple3 triple2) -> rule2) triple3) -> rule3) ((triple3 triple2) -> rule2)) -> rule5))]
("Bob" "is" "round" "-")
((((triple1 ((triple3 triple2) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((triple3 triple2) -> (rule2 % int3))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Fred" "is" "big" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "young" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is blue.[(triple3)] Bob is kind.[(triple2)] Bob is rough.[(triple1)] Eric is nice.[(triple5)] Eric is rough.[(triple4)] Fred is cold.[(triple9)] Fred is green.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] Harry is green.[(triple11)] Harry is round.[(triple10)] @1: Bob is nice.[(((triple3 triple2) -> rule2))] @2: Bob is young.[(((triple1 ((triple3 triple2) -> rule2) triple3) -> rule3))] @3: Bob is round.[(((((triple1 ((triple3 triple2) -> rule2) triple3) -> rule3) ((triple3 triple2) -> rule2)) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple1 ((triple3 triple2) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple1 ((triple3 triple2) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((triple3 triple2) -> (rule2 % int3))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is a rough but very kind and blue person.
Eric who is considered nice was feeling rather rough today.
Fred is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
Harry is round shaped and green colored.
Cold and rough people will also surely be round shaped.
Blue kind people are almost always nice to others.
People who are rough around the edges, nice, and a bit blue are young.
That young person is feeling cold because he is green to the situation making his body shape round.
Someone who is young and nice is often round.
Young people who are cold and painted red are usually big and part of the football team.