Red Bob is what folks call him, because he is quite red. They always call him rough Charlie. Eric is so young and darling he is kind to all the old people on the block. Harry, who is a very nice man, is also quite round in shape. He found himself quite blue from being made fun of him, but that also made his face red with anger. Big, young people feel cold all the time. Kind, rough people who are nice are also cold. Someone can be young, big, and cold but green. A big and rough person can be misleading because they are cold and blue as well. If a person is young and very kind then they will be rather big.
Bob is red.
("Bob" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and rough and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and big and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Eric is young.
True
1
proof
[(triple3)]
("Eric" "is" "young" "+")
triple3
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Eric is big.
True
3
proof
[(((triple3 triple4) -> rule5))]
("Eric" "is" "big" "+")
((triple3 triple4) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule5))]
("Eric" "is" "big" "-")
((triple3 triple4) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
True
5
proof
[(((triple3 ((triple3 triple4) -> rule5)) -> rule1))]
("Eric" "is" "cold" "+")
((triple3 ((triple3 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not cold.
False
5
inv-proof
[(((triple3 ((triple3 triple4) -> rule5)) -> rule1))]
("Eric" "is" "cold" "-")
((triple3 ((triple3 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
True
10
proof
[(((triple3 ((triple3 ((triple3 triple4) -> rule5)) -> rule1) ((triple3 triple4) -> rule5)) -> rule3))]
("Eric" "is" "green" "+")
((triple3 ((triple3 ((triple3 triple4) -> (rule5 % int3))) -> (rule1 % int2)) ((triple3 triple4) -> (rule5 % int3))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not green.
False
10
inv-proof
[(((triple3 ((triple3 ((triple3 triple4) -> rule5)) -> rule1) ((triple3 triple4) -> rule5)) -> rule3))]
("Eric" "is" "green" "-")
((triple3 ((triple3 ((triple3 triple4) -> (rule5 % int3))) -> (rule1 % int2)) ((triple3 triple4) -> (rule5 % int3))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "big" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "blue" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "big" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is red.[(triple1)] Charlie is rough.[(triple2)] Eric is kind.[(triple4)] Eric is young.[(triple3)] Harry is blue.[(triple8)] Harry is nice.[(triple7)] Harry is red.[(triple6)] Harry is round.[(triple5)] @1: Eric is big.[(((triple3 triple4) -> rule5))] @2: Eric is cold.[(((triple3 ((triple3 triple4) -> rule5)) -> rule1))] @3: Eric is green.[(((triple3 ((triple3 ((triple3 triple4) -> rule5)) -> rule1) ((triple3 triple4) -> rule5)) -> rule3))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Eric is big.
("Eric" "is" "big" "+")
((triple3 triple4) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple3 ((triple3 triple4) -> (rule5 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple3 ((triple3 ((triple3 triple4) -> (rule5 % int3))) -> (rule1 % int2)) ((triple3 triple4) -> (rule5 % int3))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Red Bob is what folks call him, because he is quite red.
They always call him rough Charlie.
Eric is so young and darling he is kind to all the old people on the block.
Harry, who is a very nice man, is also quite round in shape; He found himself quite blue from being made fun of him, but that also made his face red with anger.
Big, young people feel cold all the time.
Kind, rough people who are nice are also cold.
Someone can be young, big, and cold but green.
A big and rough person can be misleading because they are cold and blue as well.
If a person is young and very kind then they will be rather big.