Most people consider Bob to bed red. He's pretty cold to people and often feels blue. Bob is a big person. Fred who is considered nice was feeling rather rough today. Harry is considered to be a rather nice person who is also described as being kind, green and big. Kind young people are red. If people are cold they are often red. When a kind person is feeling cold with red skin, they will be round as well. A person who is described as young and cold, but also described as rough is nice. Find a big human that is colored red and green and he will be amazingly kind. Nice people who are big are always cold because they can't find space near the heater. A nice red person that is cold is always big, I have found.
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
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 and cold and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and red and green then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Bob is blue.
True
1
proof
[(triple3)]
("Bob" "is" "blue" "+")
triple3
Fred is not rough.
False
1
inv-proof
[(triple5)]
("Fred" "is" "rough" "-")
triple5
Harry is cold.
True
3
proof
[(((triple10 triple7) -> rule6))]
("Harry" "is" "cold" "+")
((triple10 triple7) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple10 triple7) -> rule6))]
("Harry" "is" "cold" "-")
((triple10 triple7) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
True
4
proof
[(((((triple10 triple7) -> rule6)) -> rule2))]
("Harry" "is" "red" "+")
((((triple10 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is not red.
False
4
inv-proof
[(((((triple10 triple7) -> rule6)) -> rule2))]
("Harry" "is" "red" "-")
((((triple10 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
True
9
proof
[(((((triple10 triple7) -> rule6) triple8 ((((triple10 triple7) -> rule6)) -> rule2)) -> rule3) OR ((((triple10 triple7) -> rule6) ((triple10 ((((triple10 triple7) -> rule6)) -> rule2) triple9) -> rule5) ((((triple10 triple7) -> rule6)) -> rule2)) -> rule3))]
("Harry" "is" "round" "+")
((((triple10 triple7) -> (rule6 % int3)) triple8 ((((triple10 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple10 triple7) -> (rule6 % int4)) ((triple10 ((((triple10 triple7) -> (rule6 % int4))) -> (rule2 % int3)) triple9) -> (rule5 % int2)) ((((triple10 triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is not round.
False
9
inv-proof
[(((((triple10 triple7) -> rule6) triple8 ((((triple10 triple7) -> rule6)) -> rule2)) -> rule3) OR ((((triple10 triple7) -> rule6) ((triple10 ((((triple10 triple7) -> rule6)) -> rule2) triple9) -> rule5) ((((triple10 triple7) -> rule6)) -> rule2)) -> rule3))]
("Harry" "is" "round" "-")
((((triple10 triple7) -> (rule6 % int3)) triple8 ((((triple10 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple10 triple7) -> (rule6 % int4)) ((triple10 ((((triple10 triple7) -> (rule6 % int4))) -> (rule2 % int3)) triple9) -> (rule5 % int2)) ((((triple10 triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "kind" "-")
Fred is round.
Unknown
rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Fred" "is" "round" "+")
Gary is not red.
Unknown
inv-rconc
[@3: Gary is red.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule7 <- FAIL)]]
("Gary" "is" "red" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "kind" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is cold.[(triple2)] Bob is red.[(triple1 OR ((triple2) -> rule2))] Fred is nice.[(triple6)] Fred is rough.[(triple5)] Harry is big.[(triple10)] Harry is green.[(triple9)] Harry is kind.[(triple8 OR ((triple10 ((((triple10 triple7) -> rule6)) -> rule2) triple9) -> rule5))] Harry is nice.[(triple7)] @1: Harry is cold.[(((triple10 triple7) -> rule6))] @2: Harry is red.[(((((triple10 triple7) -> rule6)) -> rule2))] @3: Harry is round.[(((((triple10 triple7) -> rule6) triple8 ((((triple10 triple7) -> rule6)) -> rule2)) -> rule3) OR ((((triple10 triple7) -> rule6) ((triple10 ((((triple10 triple7) -> rule6)) -> rule2) triple9) -> rule5) ((((triple10 triple7) -> rule6)) -> rule2)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
((triple2) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
((triple10 ((((triple10 triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple9) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is cold.
("Harry" "is" "cold" "+")
((triple10 triple7) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((((triple10 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((((triple10 triple7) -> (rule6 % int3)) triple8 ((((triple10 triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
((((triple10 triple7) -> (rule6 % int4)) ((triple10 ((((triple10 triple7) -> (rule6 % int4))) -> (rule2 % int3)) triple9) -> (rule5 % int2)) ((((triple10 triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Most people consider Bob to bed red; He's pretty cold to people and often feels blue; Bob is a big person.
Fred who is considered nice was feeling rather rough today.
Harry is considered to be a rather nice person who is also described as being kind, green and big.
Kind young people are red.
If people are cold they are often red.
When a kind person is feeling cold with red skin, they will be round as well.
A person who is described as young and cold, but also described as rough is nice.
Find a big human that is colored red and green and he will be amazingly kind.
Nice people who are big are always cold because they can't find space near the heater.
A nice red person that is cold is always big, I have found.