Alan loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Bob was born only a few years ago so he is young. Eric has a round face and is very nice. That Harry is a round, rough fellow, and he's nice, as well as big. Everyone that is rough but also kind will be green. A downhearted blue person who is kind is round. It's a fact that young people are red people. A person with rough skin who has been standing in the cold will turn red. Blue people who are cold are always round in shape. Someone big and rough in shape is always kind. Big kind people are usually cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and rough then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Harry is nice.
True
1
proof
[(triple9)]
("Harry" "is" "nice" "+")
triple9
Harry is not rough.
False
1
inv-proof
[(triple8)]
("Harry" "is" "rough" "-")
triple8
Alan is red.
True
3
proof
[(((triple3 triple2) -> rule4))]
("Alan" "is" "red" "+")
((triple3 triple2) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
3
inv-proof
[(((triple3 triple2) -> rule4))]
("Alan" "is" "red" "-")
((triple3 triple2) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Harry is green.
True
5
proof
[(((((triple10 triple8) -> rule6) triple8) -> rule1))]
("Harry" "is" "green" "+")
((((triple10 triple8) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is not green.
False
5
inv-proof
[(((((triple10 triple8) -> rule6) triple8) -> rule1))]
("Harry" "is" "green" "-")
((((triple10 triple8) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
True
7
proof
[(((((((triple10 triple8) -> rule6) triple10) -> rule7) triple8) -> rule4))]
("Harry" "is" "red" "+")
((((((triple10 triple8) -> (rule6 % int3)) triple10) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is not red.
False
7
inv-proof
[(((((((triple10 triple8) -> rule6) triple10) -> rule7) triple8) -> rule4))]
("Harry" "is" "red" "-")
((((((triple10 triple8) -> (rule6 % int3)) triple10) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "cold" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "red" "+")
Alan is not kind.
Unknown
inv-rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "kind" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is cold.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is young.[(triple4)] Eric is nice.[(triple6)] Eric is round.[(triple5)] Harry is big.[(triple10)] Harry is nice.[(triple9)] Harry is rough.[(triple8)] Harry is round.[(triple7)] @1: Alan is red.[(((triple3 triple2) -> rule4))] Bob is red.[(((triple4) -> rule3))] Harry is kind.[(((triple10 triple8) -> rule6))] @2: Harry is cold.[(((((triple10 triple8) -> rule6) triple10) -> rule7))] Harry is green.[(((((triple10 triple8) -> rule6) triple8) -> rule1))] @3: Harry is red.[(((((((triple10 triple8) -> rule6) triple10) -> rule7) triple8) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Alan is red.
("Alan" "is" "red" "+")
((triple3 triple2) -> (rule4 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple4) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 triple8) -> (rule6 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple10 triple8) -> (rule6 % int2)) triple10) -> (rule7 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((((triple10 triple8) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((((triple10 triple8) -> (rule6 % int3)) triple10) -> (rule7 % int2)) triple8) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Alan loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Bob was born only a few years ago so he is young.
Eric has a round face and is very nice.
That Harry is a round, rough fellow, and he's nice, as well as big.
Everyone that is rough but also kind will be green.
A downhearted blue person who is kind is round.
It's a fact that young people are red people.
A person with rough skin who has been standing in the cold will turn red.
Blue people who are cold are always round in shape.
Someone big and rough in shape is always kind.
Big kind people are usually cold.