Alan is a man who is both round and rough. Bob is a nice person who is red because he has a rash. Eric is a red fellow who habitually looks blue. He's often cold. Fred is sometimes cold and blue, but he can also be kind and big. Young people with red skin who are a bit downhearted and blue are kind. Blue people who are cold are always round in shape. A person with a rough quality is also a person with a blue quality. A quite nice person will certainly be red. Big people with round and somewhat red faces will have rough skin. A person who is round shaped while also being quite cold tends to be nice.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round and red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Fred is blue.
True
1
proof
[(triple10)]
("Fred" "is" "blue" "+")
triple10
Fred is not big.
False
1
inv-proof
[(triple11)]
("Fred" "is" "big" "-")
triple11
Eric is round.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Eric" "is" "round" "+")
((triple7 triple6) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Alan is not blue.
False
2
inv-proof
[(((triple2) -> rule3))]
("Alan" "is" "blue" "-")
((triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Eric is nice.
True
5
proof
[(((((triple7 triple6) -> rule2) triple6) -> rule6))]
("Eric" "is" "nice" "+")
((((triple7 triple6) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((((triple10 triple9) -> rule2) triple9) -> rule6))]
("Fred" "is" "nice" "-")
((((triple10 triple9) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
True
6
proof
[(((((((triple10 triple9) -> rule2) triple9) -> rule6)) -> rule4))]
("Fred" "is" "red" "+")
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule6 % int2))) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not red.
False
6
inv-proof
[(((((((triple10 triple9) -> rule2) triple9) -> rule6)) -> rule4))]
("Fred" "is" "red" "-")
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule6 % int2))) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is rough.
True
11
proof
[(((triple11 ((triple10 triple9) -> rule2) ((((((triple10 triple9) -> rule2) triple9) -> rule6)) -> rule4)) -> rule5))]
("Fred" "is" "rough" "+")
((triple11 ((triple10 triple9) -> (rule2 % int4)) ((((((triple10 triple9) -> (rule2 % int4)) triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Fred is not rough.
False
11
inv-proof
[(((triple11 ((triple10 triple9) -> rule2) ((((((triple10 triple9) -> rule2) triple9) -> rule6)) -> rule4)) -> rule5))]
("Fred" "is" "rough" "-")
((triple11 ((triple10 triple9) -> (rule2 % int4)) ((((((triple10 triple9) -> (rule2 % int4)) triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Alan is not red.
Unknown
inv-rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Alan" "is" "red" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Bob" "is" "blue" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "nice" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Alan is green.
Unknown
random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "+")
Eric is not big.
Unknown
inv-random
[@0: Eric is big.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "big" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is nice.[(triple4)] Bob is red.[(triple3 OR ((triple4) -> rule4))] Eric is blue.[(triple7)] Eric is cold.[(triple6)] Eric is red.[(triple5 OR ((((((triple7 triple6) -> rule2) triple6) -> rule6)) -> rule4))] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is cold.[(triple9)] Fred is kind.[(triple8)] @1: Alan is blue.[(((triple2) -> rule3))] Eric is round.[(((triple7 triple6) -> rule2))] Fred is round.[(((triple10 triple9) -> rule2))] @2: Eric is nice.[(((((triple7 triple6) -> rule2) triple6) -> rule6))] Fred is nice.[(((((triple10 triple9) -> rule2) triple9) -> rule6))] @3: Fred is red.[(((((((triple10 triple9) -> rule2) triple9) -> rule6)) -> rule4))] @4: Fred is rough.[(((triple11 ((triple10 triple9) -> rule2) ((((((triple10 triple9) -> rule2) triple9) -> rule6)) -> rule4)) -> rule5))]
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
((triple4) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
((((((triple7 triple6) -> (rule2 % int3)) triple6) -> (rule6 % int2))) -> (rule4 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Alan is blue.
("Alan" "is" "blue" "+")
((triple2) -> (rule3 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple7 triple6) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple10 triple9) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
((((triple7 triple6) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
((((triple10 triple9) -> (rule2 % int2)) triple9) -> (rule6 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((((triple10 triple9) -> (rule2 % int3)) triple9) -> (rule6 % int2))) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
((triple11 ((triple10 triple9) -> (rule2 % int4)) ((((((triple10 triple9) -> (rule2 % int4)) triple9) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is round.
("Fred" "is" "round" "+")
int4
Alan is a man who is both round and rough.
Bob is a nice person who is red because he has a rash.
Eric is a red fellow who habitually looks blue; He's often cold.
Fred is sometimes cold and blue, but he can also be kind and big.
Young people with red skin who are a bit downhearted and blue are kind.
Blue people who are cold are always round in shape.
A person with a rough quality is also a person with a blue quality.
A quite nice person will certainly be red.
Big people with round and somewhat red faces will have rough skin.
A person who is round shaped while also being quite cold tends to be nice.