Young Charlie is wearing green pants. That guy Fred is big, but he's always kind to little ones. Harry vowed to always be rough, cold, blue, and big as possible. Blue Christmas ornaments are also red. Big people who are red in color are often nice. A big blue someone could also be green. A person who is green and rough and round is also young. Blue, kind, and cold people are habitually rough. A nice person with rough skin will be round, you can count on it.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and red then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and kind and cold then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Charlie is young.
True
1
proof
[(triple1)]
("Charlie" "is" "young" "+")
triple1
Fred is not big.
False
1
inv-proof
[(triple4)]
("Fred" "is" "big" "-")
triple4
Harry is green.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Harry" "is" "green" "+")
((triple7 triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
3
inv-proof
[(((triple7 triple8) -> rule3))]
("Harry" "is" "green" "-")
((triple7 triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
True
4
proof
[(((triple8 ((triple7) -> rule1)) -> rule2))]
("Harry" "is" "nice" "+")
((triple8 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not nice.
False
4
inv-proof
[(((triple8 ((triple7) -> rule1)) -> rule2))]
("Harry" "is" "nice" "-")
((triple8 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
True
6
proof
[(((triple5 ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule6))]
("Harry" "is" "round" "+")
((triple5 ((triple8 ((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not round.
False
6
inv-proof
[(((triple5 ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule6))]
("Harry" "is" "round" "-")
((triple5 ((triple8 ((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
True
11
proof
[(((((triple5 ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule6) triple5 ((triple7 triple8) -> rule3)) -> rule4))]
("Harry" "is" "young" "+")
((((triple5 ((triple8 ((triple7) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) triple5 ((triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is not young.
False
11
inv-proof
[(((((triple5 ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule6) triple5 ((triple7 triple8) -> rule3)) -> rule4))]
("Harry" "is" "young" "-")
((((triple5 ((triple8 ((triple7) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) triple5 ((triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is round.
Unknown
rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Gary" "is" "round" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "red" "-")
Fred is round.
Unknown
rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Fred" "is" "round" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Charlie is green.[(triple2)] Charlie is young.[(triple1)] Fred is big.[(triple4)] Fred is kind.[(triple3)] Harry is big.[(triple8)] Harry is blue.[(triple7)] Harry is cold.[(triple6)] Harry is rough.[(triple5)] @1: Harry is green.[(((triple7 triple8) -> rule3))] Harry is red.[(((triple7) -> rule1))] @2: Harry is nice.[(((triple8 ((triple7) -> rule1)) -> rule2))] @3: Harry is round.[(((triple5 ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule6))] @4: Harry is young.[(((((triple5 ((triple8 ((triple7) -> rule1)) -> rule2)) -> rule6) triple5 ((triple7 triple8) -> rule3)) -> rule4))]
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple4
Fred is kind.
("Fred" "is" "kind" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
((triple7 triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple7) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple8 ((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple5 ((triple8 ((triple7) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((((triple5 ((triple8 ((triple7) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3)) triple5 ((triple7 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Young Charlie is wearing green pants.
That guy Fred is big, but he's always kind to little ones.
Harry vowed to always be rough, cold, blue, and big as possible.
Blue Christmas ornaments are also red.
Big people who are red in color are often nice.
A big blue someone could also be green.
A person who is green and rough and round is also young.
Blue, kind, and cold people are habitually rough.
A nice person with rough skin will be round, you can count on it.