They always call him rough Alan. Bob, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. Red Eric is what folks call him, because he is quite red. They always say that he is so nice and kind, that is Big Fred.  But he is also round and blue. A big, kind someone could also be cold in a green dress. Any human being with green, big, kind eyes, also has round eyes. Any cold, round, green person is going to be young at the same time. A quite nice person will certainly be red. Someone who is not only rough and big but also nice will necessarily be round as well. Red and round people will be cold even in the summer. Anyone that's described as young, kind and blue can be said to be cold, too.
Alan is rough.
("Alan" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Eric is red.
("Eric" "is" "red" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is big and kind and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and big and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is red and round then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Fred is blue.
True
1
proof
[(triple10)]
("Fred" "is" "blue" "+")
triple10
Fred is not nice.
False
1
inv-proof
[(triple8)]
("Fred" "is" "nice" "-")
triple8
Fred is red.
True
2
proof
[(((triple8) -> rule4))]
("Fred" "is" "red" "+")
((triple8) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Bob is not red.
False
2
inv-proof
[(((triple3) -> rule4))]
("Bob" "is" "red" "-")
((triple3) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
True
4
proof
[(((((triple3) -> rule4) triple2) -> rule6))]
("Bob" "is" "cold" "+")
((((triple3) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fred is not cold.
False
4
inv-proof
[(((((triple8) -> rule4) triple7) -> rule6))]
("Fred" "is" "cold" "-")
((((triple8) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is green.
True
7
proof
[(((triple11 triple9 ((((triple8) -> rule4) triple7) -> rule6)) -> rule1))]
("Fred" "is" "green" "+")
((triple11 triple9 ((((triple8) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not green.
False
7
inv-proof
[(((triple11 triple9 ((((triple8) -> rule4) triple7) -> rule6)) -> rule1))]
("Fred" "is" "green" "-")
((triple11 triple9 ((((triple8) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
True
13
proof
[(((((((triple8) -> rule4) triple7) -> rule6) triple7 ((triple11 triple9 ((((triple8) -> rule4) triple7) -> rule6)) -> rule1)) -> rule3))]
("Fred" "is" "young" "+")
((((((triple8) -> (rule4 % int4)) triple7) -> (rule6 % int3)) triple7 ((triple11 triple9 ((((triple8) -> (rule4 % int4)) triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Fred is not young.
False
13
inv-proof
[(((((((triple8) -> rule4) triple7) -> rule6) triple7 ((triple11 triple9 ((((triple8) -> rule4) triple7) -> rule6)) -> rule1)) -> rule3))]
("Fred" "is" "young" "-")
((((((triple8) -> (rule4 % int4)) triple7) -> (rule6 % int3)) triple7 ((triple11 triple9 ((((triple8) -> (rule4 % int4)) triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Alan" "is" "cold" "-")
Eric is young.
Unknown
rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Alan is rough.[(triple1)] Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is nice.[(triple3)] Bob is round.[(triple2)] Eric is red.[(triple6)] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is kind.[(triple9)] Fred is nice.[(triple8)] Fred is round.[(triple7)] @1: Bob is red.[(((triple3) -> rule4))] Fred is red.[(((triple8) -> rule4))] @2: Bob is cold.[(((((triple3) -> rule4) triple2) -> rule6))] Fred is cold.[(((((triple8) -> rule4) triple7) -> rule6))] @3: Bob is young.[(((((((triple3) -> rule4) triple2) -> rule6) triple2 triple5) -> rule3))] Fred is green.[(((triple11 triple9 ((((triple8) -> rule4) triple7) -> rule6)) -> rule1))] @4: Fred is young.[(((((((triple8) -> rule4) triple7) -> rule6) triple7 ((triple11 triple9 ((((triple8) -> rule4) triple7) -> rule6)) -> rule1)) -> rule3))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple2
Eric is red.
("Eric" "is" "red" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Bob is red.
("Bob" "is" "red" "+")
((triple3) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple8) -> (rule4 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple3) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((triple8) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((((triple3) -> (rule4 % int3)) triple2) -> (rule6 % int2)) triple2 triple5) -> (rule3 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
((triple11 triple9 ((((triple8) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
((((((triple8) -> (rule4 % int4)) triple7) -> (rule6 % int3)) triple7 ((triple11 triple9 ((((triple8) -> (rule4 % int4)) triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is red.
("Fred" "is" "red" "+")
int4
They always call him rough Alan.
Bob, a kind and nice man, is wearing a green sweatshirt; He is also a fairly round sized man in shape.
Red Eric is what folks call him, because he is quite red.
They always say that he is so nice and kind, that is Big Fred; But he is also round and blue.
A big, kind someone could also be cold in a green dress.
Any human being with green, big, kind eyes, also has round eyes.
Any cold, round, green person is going to be young at the same time.
A quite nice person will certainly be red.
Someone who is not only rough and big but also nice will necessarily be round as well.
Red and round people will be cold even in the summer.
Anyone that's described as young, kind and blue can be said to be cold, too.