Blue with the cold Charlie is rough but kind with a green shirt. Eric is so big, he is often blue, but always kind. They always call him rough Fred. Any human being with green, big, kind eyes, also has round eyes. A young aged blue person will certainly be nice. A young, red person will certainly be cold. A nice and cold person can be counted on to be a young person at the same time. Blue people who are rough are often young. A person with the qualities of being cold and being red will also be a person that is green. If someone seems young, kind, and nice, expect them to be quite round.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and blue then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is young and kind and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Charlie is blue.
True
1
proof
[(triple5)]
("Charlie" "is" "blue" "+")
triple5
Charlie is not blue.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "blue" "-")
triple5
Charlie is young.
True
3
proof
[(((triple1 triple5) -> rule5))]
("Charlie" "is" "young" "+")
((triple1 triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
3
inv-proof
[(((triple1 triple5) -> rule5))]
("Charlie" "is" "young" "-")
((triple1 triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
True
5
proof
[(((((triple1 triple5) -> rule5) triple5) -> rule2))]
("Charlie" "is" "nice" "+")
((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not nice.
False
5
inv-proof
[(((((triple1 triple5) -> rule5) triple5) -> rule2))]
("Charlie" "is" "nice" "-")
((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
True
10
proof
[(((((triple1 triple5) -> rule5) triple2 ((((triple1 triple5) -> rule5) triple5) -> rule2)) -> rule7))]
("Charlie" "is" "round" "+")
((((triple1 triple5) -> (rule5 % int3)) triple2 ((((triple1 triple5) -> (rule5 % int3)) triple5) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not round.
False
10
inv-proof
[(((((triple1 triple5) -> rule5) triple2 ((((triple1 triple5) -> rule5) triple5) -> rule2)) -> rule7))]
("Charlie" "is" "round" "-")
((((triple1 triple5) -> (rule5 % int3)) triple2 ((((triple1 triple5) -> (rule5 % int3)) triple5) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "+")
Eric is not round.
Unknown
inv-rconc
[@3: Eric is round.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule3 <- FAIL)]]
("Eric" "is" "round" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "green" "+")
Alan is not big.
Unknown
inv-random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Charlie is rough.[(triple1)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Eric is kind.[(triple6)] Fred is rough.[(triple9)] @1: Charlie is young.[(((triple1 triple5) -> rule5))] @2: Charlie is nice.[(((((triple1 triple5) -> rule5) triple5) -> rule2))] @3: Charlie is round.[(((((triple1 triple5) -> rule5) triple2 ((((triple1 triple5) -> rule5) triple5) -> rule2)) -> rule7))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is kind.
("Eric" "is" "kind" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
((triple1 triple5) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1 triple5) -> (rule5 % int2)) triple5) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((triple1 triple5) -> (rule5 % int3)) triple2 ((((triple1 triple5) -> (rule5 % int3)) triple5) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Blue with the cold Charlie is rough but kind with a green shirt.
Eric is so big, he is often blue, but always kind.
They always call him rough Fred.
Any human being with green, big, kind eyes, also has round eyes.
A young aged blue person will certainly be nice.
A young, red person will certainly be cold.
A nice and cold person can be counted on to be a young person at the same time.
Blue people who are rough are often young.
A person with the qualities of being cold and being red will also be a person that is green.
If someone seems young, kind, and nice, expect them to be quite round.