Alan is considered to be a rather nice person who is also described as being kind, green and big. Bob always goes out of his way to show that he is kind to people. This Fred guy is red. He is also kind and yet cold. Harry wears all blue. All kind, red, and young people are also nice. People that tend to be big and green also tend to be cold. Anyone that is a red, nice soul will be big, too. Someone who happens to be cold and green and big all at once must also be round in shape. If a person has round shape then they are also green and red.
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is kind and red and young then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and green and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and round then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Bob is kind.
True
1
proof
[(triple5)]
("Bob" "is" "kind" "+")
triple5
Harry is not blue.
False
1
inv-proof
[(triple9)]
("Harry" "is" "blue" "-")
triple9
Alan is cold.
True
3
proof
[(((triple4 triple3) -> rule2))]
("Alan" "is" "cold" "+")
((triple4 triple3) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
3
inv-proof
[(((triple4 triple3) -> rule2))]
("Alan" "is" "cold" "-")
((triple4 triple3) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
True
6
proof
[(((((triple4 triple3) -> rule2) triple3 triple4) -> rule4))]
("Alan" "is" "round" "+")
((((triple4 triple3) -> (rule2 % int2)) triple3 triple4) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not round.
False
6
inv-proof
[(((((triple4 triple3) -> rule2) triple3 triple4) -> rule4))]
("Alan" "is" "round" "-")
((((triple4 triple3) -> (rule2 % int2)) triple3 triple4) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
True
8
proof
[(((triple3 ((((triple4 triple3) -> rule2) triple3 triple4) -> rule4)) -> rule5))]
("Alan" "is" "red" "+")
((triple3 ((((triple4 triple3) -> (rule2 % int3)) triple3 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not red.
False
8
inv-proof
[(((triple3 ((((triple4 triple3) -> rule2) triple3 triple4) -> rule4)) -> rule5))]
("Alan" "is" "red" "-")
((triple3 ((((triple4 triple3) -> (rule2 % int3)) triple3 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "red" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "+")
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is kind.[(triple5)] Fred is cold.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] Harry is blue.[(triple9)] @1: Alan is cold.[(((triple4 triple3) -> rule2))] @2: Alan is round.[(((((triple4 triple3) -> rule2) triple3 triple4) -> rule4))] @3: Alan is red.[(((triple3 ((((triple4 triple3) -> rule2) triple3 triple4) -> rule4)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is nice.
("Alan" "is" "nice" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Alan is cold.
("Alan" "is" "cold" "+")
((triple4 triple3) -> (rule2 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((((triple4 triple3) -> (rule2 % int2)) triple3 triple4) -> (rule4 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((triple3 ((((triple4 triple3) -> (rule2 % int3)) triple3 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is considered to be a rather nice person who is also described as being kind, green and big.
Bob always goes out of his way to show that he is kind to people.
This Fred guy is red; He is also kind and yet cold.
Harry wears all blue.
All kind, red, and young people are also nice.
People that tend to be big and green also tend to be cold.
Anyone that is a red, nice soul will be big, too.
Someone who happens to be cold and green and big all at once must also be round in shape.
If a person has round shape then they are also green and red.