Alan is young and kind.  But he plays really rough with his friends. Eric is so young and darling he is kind to all the old people on the block. Fred was born only a few years ago so he is young. Though he is young, Harry is still nice despite being quite blue. A nice person with rough skin is red. A cold and young aged person will be big for sure. A green person who is kind and a bit blue is young. Green people with red round cheeks are young. If a nice person is round shaped, they feel blue about it. When you meet kind people they wont have a cold heart. It's just a fact that a blue person is a kind person.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and kind and green then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Harry is blue.
True
1
proof
[(triple9)]
("Harry" "is" "blue" "+")
triple9
Harry is not blue.
False
1
inv-proof
[(triple9)]
("Harry" "is" "blue" "-")
triple9
Alan is cold.
True
2
proof
[(((triple3) -> rule6))]
("Alan" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Eric is not cold.
False
2
inv-proof
[(((triple5) -> rule6))]
("Eric" "is" "cold" "-")
((triple5) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Harry is cold.
True
3
proof
[(((((triple9) -> rule7)) -> rule6))]
("Harry" "is" "cold" "+")
((((triple9) -> (rule7 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Alan is not big.
False
4
inv-proof
[(((triple1 ((triple3) -> rule6)) -> rule2))]
("Alan" "is" "big" "-")
((triple1 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Harry is big.
True
5
proof
[(((triple7 ((((triple9) -> rule7)) -> rule6)) -> rule2))]
("Harry" "is" "big" "+")
((triple7 ((((triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not big.
False
5
inv-proof
[(((triple7 ((((triple9) -> rule7)) -> rule6)) -> rule2))]
("Harry" "is" "big" "-")
((triple7 ((((triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Fred is cold.
Unknown
rconc
[@3: Fred is cold.[CWA. Example of deepest failure = (rule6 <- rule7 <- rule5 <- FAIL)]]
("Fred" "is" "cold" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "-")
Fred is big.
Unknown
rconc
[@4: Fred is big.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule7 <- rule5 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Alan is kind.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Eric is kind.[(triple5)] Eric is young.[(triple4)] Fred is young.[(triple6)] Harry is blue.[(triple9)] Harry is nice.[(triple8)] Harry is young.[(triple7)] @1: Alan is cold.[(((triple3) -> rule6))] Eric is cold.[(((triple5) -> rule6))] Harry is kind.[(((triple9) -> rule7))] @2: Alan is big.[(((triple1 ((triple3) -> rule6)) -> rule2))] Eric is big.[(((triple4 ((triple5) -> rule6)) -> rule2))] Harry is cold.[(((((triple9) -> rule7)) -> rule6))] @3: Harry is big.[(((triple7 ((((triple9) -> rule7)) -> rule6)) -> rule2))]
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Alan is cold.
("Alan" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
((triple5) -> (rule6 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple9) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Alan is big.
("Alan" "is" "big" "+")
((triple1 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((triple4 ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple9) -> (rule7 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple7 ((((triple9) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Alan is young and kind; But he plays really rough with his friends.
Eric is so young and darling he is kind to all the old people on the block.
Fred was born only a few years ago so he is young.
Though he is young, Harry is still nice despite being quite blue.
A nice person with rough skin is red.
A cold and young aged person will be big for sure.
A green person who is kind and a bit blue is young.
Green people with red round cheeks are young.
If a nice person is round shaped, they feel blue about it.
When you meet kind people they wont have a cold heart.
It's just a fact that a blue person is a kind person.