Charlie is too young to be so big. Some say he is too green to be so blue as well. Young Fred is wearing green pants. Harry is a nice person who is red because he has a rash. Blue and red people are often rough. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Big and cold people are likely to be round, too. A round shaped and red person is definitely nice. Young and nice people are ultimately cold.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Charlie is big.
True
1
proof
[(triple4)]
("Charlie" "is" "big" "+")
triple4
Fred is not green.
False
1
inv-proof
[(triple6)]
("Fred" "is" "green" "-")
triple6
Charlie is nice.
True
3
proof
[(((triple2 triple4) -> rule2))]
("Charlie" "is" "nice" "+")
((triple2 triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple2 triple4) -> rule2))]
("Charlie" "is" "nice" "-")
((triple2 triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
True
5
proof
[(((triple1 ((triple2 triple4) -> rule2)) -> rule5))]
("Charlie" "is" "cold" "+")
((triple1 ((triple2 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not cold.
False
5
inv-proof
[(((triple1 ((triple2 triple4) -> rule2)) -> rule5))]
("Charlie" "is" "cold" "-")
((triple1 ((triple2 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
True
7
proof
[(((triple4 ((triple1 ((triple2 triple4) -> rule2)) -> rule5)) -> rule3))]
("Charlie" "is" "round" "+")
((triple4 ((triple1 ((triple2 triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not round.
False
7
inv-proof
[(((triple4 ((triple1 ((triple2 triple4) -> rule2)) -> rule5)) -> rule3))]
("Charlie" "is" "round" "-")
((triple4 ((triple1 ((triple2 triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "nice" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "rough" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "rough" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is green.[(triple2)] Charlie is young.[(triple1)] Fred is green.[(triple6)] Fred is young.[(triple5)] Harry is nice.[(triple8)] Harry is red.[(triple7)] @1: Charlie is nice.[(((triple2 triple4) -> rule2))] @2: Charlie is cold.[(((triple1 ((triple2 triple4) -> rule2)) -> rule5))] @3: Charlie is round.[(((triple4 ((triple1 ((triple2 triple4) -> rule2)) -> rule5)) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 triple4) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1 ((triple2 triple4) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 ((triple1 ((triple2 triple4) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is too young to be so big; Some say he is too green to be so blue as well.
Young Fred is wearing green pants.
Harry is a nice person who is red because he has a rash.
Blue and red people are often rough.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
Big and cold people are likely to be round, too.
A round shaped and red person is definitely nice.
Young and nice people are ultimately cold.