Alan is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish. Bob is nice, even when he is rough and red with anger. Charlie is both young and fairly round in size. Big Harry is still young so it's easy for him to be kind. Any green person is a round person. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. There could be a round someone with red hair wearing blue pants. Big and cold people are likely to be round, too. A nice big person who is also round is going to be cold. If you meet someone who is big and kind with cold skin, they will be young. A red and green colored person who is cold will be round shaped.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is red and rough and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and round then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round and big and nice then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and cold and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Harry is big.
True
1
proof
[(triple12)]
("Harry" "is" "big" "+")
triple12
Bob is not red.
False
1
inv-proof
[(triple6)]
("Bob" "is" "red" "-")
triple6
Alan is round.
True
2
proof
[(((triple4) -> rule1))]
("Alan" "is" "round" "+")
((triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is not round.
False
2
inv-proof
[(((triple4) -> rule1))]
("Alan" "is" "round" "-")
((triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
True
4
proof
[(((triple2 ((triple4) -> rule1)) -> rule3))]
("Alan" "is" "blue" "+")
((triple2 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is not blue.
False
4
inv-proof
[(((triple2 ((triple4) -> rule1)) -> rule3))]
("Alan" "is" "blue" "-")
((triple2 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is nice.
True
7
proof
[(((triple2 triple1 ((triple2 ((triple4) -> rule1)) -> rule3)) -> rule2))]
("Alan" "is" "nice" "+")
((triple2 triple1 ((triple2 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is not nice.
False
7
inv-proof
[(((triple2 triple1 ((triple2 ((triple4) -> rule1)) -> rule3)) -> rule2))]
("Alan" "is" "nice" "-")
((triple2 triple1 ((triple2 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "cold" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
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" "+")
@0: Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is nice.[(triple7)] Bob is red.[(triple6)] Bob is rough.[(triple5)] Charlie is round.[(triple9)] Charlie is young.[(triple8)] Harry is big.[(triple12)] Harry is kind.[(triple11)] Harry is young.[(triple10)] @1: Alan is round.[(((triple4) -> rule1))] @2: Alan is blue.[(((triple2 ((triple4) -> rule1)) -> rule3))] @3: Alan is nice.[(((triple2 triple1 ((triple2 ((triple4) -> rule1)) -> rule3)) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Alan is round.
("Alan" "is" "round" "+")
((triple4) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((triple2 triple1 ((triple2 ((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Alan is a kind but rough man who is red from a sunburn,  He is rather green in appearance after looking at some rotten fish.
Bob is nice, even when he is rough and red with anger.
Charlie is both young and fairly round in size.
Big Harry is still young so it's easy for him to be kind.
Any green person is a round person.
If someone has a red complexion that is rough and feels blue then you'll see they are rather nice.
There could be a round someone with red hair wearing blue pants.
Big and cold people are likely to be round, too.
A nice big person who is also round is going to be cold.
If you meet someone who is big and kind with cold skin, they will be young.
A red and green colored person who is cold will be round shaped.