That big young man is Charlie he can act in a somewhat rough manner but that's just because he feels very green here. In the snow sits Eric, crying from being cold. Fred who is big in stature is almost always nice even when he is cold. All people that are rough and cold, as well as nice will be kind if you talk to them. Any green person is a round person. I've been told that big, nice people are very rough. Someone who is big and kind is blue.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and big then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Fred is big.
True
1
proof
[(triple8)]
("Fred" "is" "big" "+")
triple8
Fred is not nice.
False
1
inv-proof
[(triple6)]
("Fred" "is" "nice" "-")
triple6
Charlie is round.
True
2
proof
[(((triple3) -> rule2))]
("Charlie" "is" "round" "+")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Charlie" "is" "round" "-")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fred is kind.
True
6
proof
[(((triple6 ((triple8 triple6) -> rule3) triple7) -> rule1))]
("Fred" "is" "kind" "+")
((triple6 ((triple8 triple6) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not kind.
False
6
inv-proof
[(((triple6 ((triple8 triple6) -> rule3) triple7) -> rule1))]
("Fred" "is" "kind" "-")
((triple6 ((triple8 triple6) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
True
8
proof
[(((((triple6 ((triple8 triple6) -> rule3) triple7) -> rule1) triple8) -> rule4))]
("Fred" "is" "blue" "+")
((((triple6 ((triple8 triple6) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not blue.
False
8
inv-proof
[(((((triple6 ((triple8 triple6) -> rule3) triple7) -> rule1) triple8) -> rule4))]
("Fred" "is" "blue" "-")
((((triple6 ((triple8 triple6) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "round" "-")
Charlie is blue.
Unknown
rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Charlie" "is" "blue" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "blue" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "blue" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
@0: Charlie is big.[(triple4)] Charlie is green.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Eric is cold.[(triple5)] Fred is big.[(triple8)] Fred is cold.[(triple7)] Fred is nice.[(triple6)] @1: Charlie is round.[(((triple3) -> rule2))] Fred is rough.[(((triple8 triple6) -> rule3))] @2: Fred is kind.[(((triple6 ((triple8 triple6) -> rule3) triple7) -> rule1))] @3: Fred is blue.[(((((triple6 ((triple8 triple6) -> rule3) triple7) -> rule1) triple8) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
((triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple8 triple6) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple6 ((triple8 triple6) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((triple6 ((triple8 triple6) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
That big young man is Charlie he can act in a somewhat rough manner but that's just because he feels very green here.
In the snow sits Eric, crying from being cold.
Fred who is big in stature is almost always nice even when he is cold.
All people that are rough and cold, as well as nice will be kind if you talk to them.
Any green person is a round person.
I've been told that big, nice people are very rough.
Someone who is big and kind is blue.