Alan is rather young, but he is also kind, green, cold and big. To the touch Charlie has rough, cold skin. That guy Fred is big, but he's always kind to little ones. When a kind person is feeling cold with red skin, they will be round as well. 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. People who are round and young are also quite nice. If somebody has the characteristics of being blue, rough and green, they are also going to be cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is cold and kind and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("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 young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and rough and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Alan is big.
True
1
proof
[(triple5)]
("Alan" "is" "big" "+")
triple5
Alan is not big.
False
1
inv-proof
[(triple5)]
("Alan" "is" "big" "-")
triple5
Charlie is red.
True
3
proof
[(((triple7 triple6) -> rule3))]
("Charlie" "is" "red" "+")
((triple7 triple6) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("Charlie" "is" "red" "-")
((triple7 triple6) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Alan is round.
True
5
proof
[(((triple4 triple2 ((triple1) -> rule2)) -> rule1))]
("Alan" "is" "round" "+")
((triple4 triple2 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not round.
False
5
inv-proof
[(((triple4 triple2 ((triple1) -> rule2)) -> rule1))]
("Alan" "is" "round" "-")
((triple4 triple2 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
True
7
proof
[(((triple1 ((triple4 triple2 ((triple1) -> rule2)) -> rule1)) -> rule4))]
("Alan" "is" "nice" "+")
((triple1 ((triple4 triple2 ((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not nice.
False
7
inv-proof
[(((triple1 ((triple4 triple2 ((triple1) -> rule2)) -> rule1)) -> rule4))]
("Alan" "is" "nice" "-")
((triple1 ((triple4 triple2 ((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "cold" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "-")
Fred is round.
Unknown
rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Fred" "is" "round" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Alan is big.[(triple5)] Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is young.[(triple1)] Charlie is cold.[(triple7)] Charlie is rough.[(triple6)] Fred is big.[(triple9)] Fred is kind.[(triple8)] @1: Alan is red.[(((triple1) -> rule2))] Charlie is red.[(((triple7 triple6) -> rule3))] @2: Alan is round.[(((triple4 triple2 ((triple1) -> rule2)) -> rule1))] @3: Alan is nice.[(((triple1 ((triple4 triple2 ((triple1) -> rule2)) -> rule1)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Alan is red.
("Alan" "is" "red" "+")
((triple1) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((triple7 triple6) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple4 triple2 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 ((triple4 triple2 ((triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is rather young, but he is also kind, green, cold and big.
To the touch Charlie has rough, cold skin.
That guy Fred is big, but he's always kind to little ones.
When a kind person is feeling cold with red skin, they will be round as well.
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.
People who are round and young are also quite nice.
If somebody has the characteristics of being blue, rough and green, they are also going to be cold.