Although Alan is young and nice, he is as cold as ice. Although Bob is young and nice, he is as cold as ice. Fred, who is round, red, kind, and also green, tends to be rather blue. In the snow sits Gary, crying from being cold. A nice person who is green is feeling cold. Green, nice people who have round shapes are going to be kind to you. Any cold, round, green person is going to be young at the same time. In every case of people being kind and blue and green, we find they are concurrently nice. A round person will also be red.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
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 kind and blue and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Fred is round.
True
1
proof
[(triple7)]
("Fred" "is" "round" "+")
triple7
Gary is not cold.
False
1
inv-proof
[(triple12)]
("Gary" "is" "cold" "-")
triple12
Fred is nice.
True
4
proof
[(((triple9 triple11 triple10) -> rule4))]
("Fred" "is" "nice" "+")
((triple9 triple11 triple10) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is not nice.
False
4
inv-proof
[(((triple9 triple11 triple10) -> rule4))]
("Fred" "is" "nice" "-")
((triple9 triple11 triple10) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
True
6
proof
[(((triple10 ((triple9 triple11 triple10) -> rule4)) -> rule1))]
("Fred" "is" "cold" "+")
((triple10 ((triple9 triple11 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not cold.
False
6
inv-proof
[(((triple10 ((triple9 triple11 triple10) -> rule4)) -> rule1))]
("Fred" "is" "cold" "-")
((triple10 ((triple9 triple11 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
True
9
proof
[(((((triple10 ((triple9 triple11 triple10) -> rule4)) -> rule1) triple7 triple10) -> rule3))]
("Fred" "is" "young" "+")
((((triple10 ((triple9 triple11 triple10) -> (rule4 % int3))) -> (rule1 % int2)) triple7 triple10) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not young.
False
9
inv-proof
[(((((triple10 ((triple9 triple11 triple10) -> rule4)) -> rule1) triple7 triple10) -> rule3))]
("Fred" "is" "young" "-")
((((triple10 ((triple9 triple11 triple10) -> (rule4 % int3))) -> (rule1 % int2)) triple7 triple10) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "kind" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "young" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple6)] Bob is nice.[(triple5)] Bob is young.[(triple4)] Fred is blue.[(triple11)] Fred is green.[(triple10)] Fred is kind.[(triple9)] Fred is red.[(triple8 OR ((triple7) -> rule5))] Fred is round.[(triple7)] Gary is cold.[(triple12)] @1: Fred is nice.[(((triple9 triple11 triple10) -> rule4))] @2: Fred is cold.[(((triple10 ((triple9 triple11 triple10) -> rule4)) -> rule1))] @3: Fred is young.[(((((triple10 ((triple9 triple11 triple10) -> rule4)) -> rule1) triple7 triple10) -> rule3))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is nice.
("Bob" "is" "nice" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is green.
("Fred" "is" "green" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
((triple7) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
((triple9 triple11 triple10) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple10 ((triple9 triple11 triple10) -> (rule4 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((triple10 ((triple9 triple11 triple10) -> (rule4 % int3))) -> (rule1 % int2)) triple7 triple10) -> (rule3 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Although Alan is young and nice, he is as cold as ice.
Although Bob is young and nice, he is as cold as ice.
Fred, who is round, red, kind, and also green, tends to be rather blue.
In the snow sits Gary, crying from being cold.
A nice person who is green is feeling cold.
Green, nice people who have round shapes are going to be kind to you.
Any cold, round, green person is going to be young at the same time.
In every case of people being kind and blue and green, we find they are concurrently nice.
A round person will also be red.