That guy Alan is big, but he's always kind to little ones. Charlie is big and rough. Even though he's a big dude, Fred is cold. Blue with the cold Harry is rough but kind with a green shirt. Nice people who have red cold skin are round. Nice, green people that are somewhat round are big through the shoulders. Any cold, round, green person is going to be young at the same time. When you meet someone with cold, rough skin and a round figure they will be nice. You can see that cold, blue people are round in shape. A big and rough person who is blue is also considered to be green.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and nice and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Charlie is rough.
True
1
proof
[(triple3)]
("Charlie" "is" "rough" "+")
triple3
Alan is not kind.
False
1
inv-proof
[(triple1)]
("Alan" "is" "kind" "-")
triple1
Harry is round.
True
3
proof
[(((triple10 triple11) -> rule5))]
("Harry" "is" "round" "+")
((triple10 triple11) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple10 triple11) -> rule5))]
("Harry" "is" "round" "-")
((triple10 triple11) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
True
6
proof
[(((triple7 triple10 ((triple10 triple11) -> rule5)) -> rule4))]
("Harry" "is" "nice" "+")
((triple7 triple10 ((triple10 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not young.
False
6
inv-proof
[(((triple10 ((triple10 triple11) -> rule5) triple9) -> rule3))]
("Harry" "is" "young" "-")
((triple10 ((triple10 triple11) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
True
11
proof
[(((triple9 ((triple7 triple10 ((triple10 triple11) -> rule5)) -> rule4) ((triple10 triple11) -> rule5)) -> rule2))]
("Harry" "is" "big" "+")
((triple9 ((triple7 triple10 ((triple10 triple11) -> (rule5 % int3))) -> (rule4 % int2)) ((triple10 triple11) -> (rule5 % int3))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not big.
False
11
inv-proof
[(((triple9 ((triple7 triple10 ((triple10 triple11) -> rule5)) -> rule4) ((triple10 triple11) -> rule5)) -> rule2))]
("Harry" "is" "big" "-")
((triple9 ((triple7 triple10 ((triple10 triple11) -> (rule5 % int3))) -> (rule4 % int2)) ((triple10 triple11) -> (rule5 % int3))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "green" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "green" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Alan is big.[(triple2)] Alan is kind.[(triple1)] Charlie is big.[(triple4)] Charlie is rough.[(triple3)] Fred is big.[(triple6)] Fred is cold.[(triple5)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is kind.[(triple8)] Harry is rough.[(triple7)] @1: Harry is round.[(((triple10 triple11) -> rule5))] @2: Harry is nice.[(((triple7 triple10 ((triple10 triple11) -> rule5)) -> rule4))] Harry is young.[(((triple10 ((triple10 triple11) -> rule5) triple9) -> rule3))] @3: Harry is big.[(((triple9 ((triple7 triple10 ((triple10 triple11) -> rule5)) -> rule4) ((triple10 triple11) -> rule5)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
((triple10 triple11) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple7 triple10 ((triple10 triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple10 ((triple10 triple11) -> (rule5 % int2)) triple9) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple9 ((triple7 triple10 ((triple10 triple11) -> (rule5 % int3))) -> (rule4 % int2)) ((triple10 triple11) -> (rule5 % int3))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
That guy Alan is big, but he's always kind to little ones.
Charlie is big and rough.
Even though he's a big dude, Fred is cold.
Blue with the cold Harry is rough but kind with a green shirt.
Nice people who have red cold skin are round.
Nice, green people that are somewhat round are big through the shoulders.
Any cold, round, green person is going to be young at the same time.
When you meet someone with cold, rough skin and a round figure they will be nice.
You can see that cold, blue people are round in shape.
A big and rough person who is blue is also considered to be green.