Charlie ate some rotten meat and now feels green. Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Fred was quite young and green. He was also cold and big. Harry is young and round, he is also green. A quite nice person will certainly be red. A person who is cold with a red nose will be feeling blue. Someone who's young and frosty cold are actually very nice. A cold human with round and rough aspects is always kind. People who are cold and and red are also young and kind.
Charlie is green.
("Charlie" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and cold then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and young and cold then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Harry is not young.
False
1
inv-proof
[(triple9)]
("Harry" "is" "young" "-")
triple9
Fred is nice.
True
3
proof
[(((triple5 triple7) -> rule3))]
("Fred" "is" "nice" "+")
((triple5 triple7) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple5 triple7) -> rule3))]
("Fred" "is" "nice" "-")
((triple5 triple7) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
True
4
proof
[(((((triple5 triple7) -> rule3)) -> rule1))]
("Fred" "is" "red" "+")
((((triple5 triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not red.
False
4
inv-proof
[(((((triple5 triple7) -> rule3)) -> rule1))]
("Fred" "is" "red" "-")
((((triple5 triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is kind.
True
7
proof
[(((((((triple5 triple7) -> rule3)) -> rule1) triple5 triple7) -> rule5))]
("Fred" "is" "kind" "+")
((((((triple5 triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple5 triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not blue.
False
6
inv-proof
[(((triple7 ((((triple5 triple7) -> rule3)) -> rule1)) -> rule2))]
("Fred" "is" "blue" "-")
((triple7 ((((triple5 triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "red" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Eric is big.
Unknown
random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Charlie is green.[(triple1)] Eric is blue.[(triple4)] Eric is green.[(triple3)] Eric is round.[(triple2)] Fred is big.[(triple8)] Fred is cold.[(triple7)] Fred is green.[(triple6)] Fred is young.[(triple5)] Harry is green.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Fred is nice.[(((triple5 triple7) -> rule3))] @2: Fred is red.[(((((triple5 triple7) -> rule3)) -> rule1))] @3: Fred is blue.[(((triple7 ((((triple5 triple7) -> rule3)) -> rule1)) -> rule2))] Fred is kind.[(((((((triple5 triple7) -> rule3)) -> rule1) triple5 triple7) -> rule5))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple4
Eric is green.
("Eric" "is" "green" "+")
triple3
Eric is round.
("Eric" "is" "round" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
((triple5 triple7) -> (rule3 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple5 triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple7 ((((triple5 triple7) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((((((triple5 triple7) -> (rule3 % int3))) -> (rule1 % int2)) triple5 triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Charlie ate some rotten meat and now feels green.
Eric was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Fred was quite young and green; He was also cold and big.
Harry is young and round, he is also green.
A quite nice person will certainly be red.
A person who is cold with a red nose will be feeling blue.
Someone who's young and frosty cold are actually very nice.
A cold human with round and rough aspects is always kind.
People who are cold and and red are also young and kind.