Bob is round shaped and green colored. That man standing next to you with a big round body goes by the name of Dave. Eric is a nice person, but he is both blue and red. Although Harry is young and nice, he is as cold as ice. A big person who feels cold and has blue skin is a nice person. People who are young, while being red and cold, are big people. Looking blue can be a sign that someone is cold. When a person is blue, cold, and nice, they are also pretty young too.
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is cold and blue and big then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Eric is nice.
True
1
proof
[(triple6)]
("Eric" "is" "nice" "+")
triple6
Eric is not red.
False
1
inv-proof
[(triple5)]
("Eric" "is" "red" "-")
triple5
Eric is cold.
True
2
proof
[(((triple7) -> rule3))]
("Eric" "is" "cold" "+")
((triple7) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is not cold.
False
2
inv-proof
[(((triple7) -> rule3))]
("Eric" "is" "cold" "-")
((triple7) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
True
5
proof
[(((triple7 ((triple7) -> rule3) triple6) -> rule4))]
("Eric" "is" "young" "+")
((triple7 ((triple7) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is not young.
False
5
inv-proof
[(((triple7 ((triple7) -> rule3) triple6) -> rule4))]
("Eric" "is" "young" "-")
((triple7 ((triple7) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
True
9
proof
[(((((triple7 ((triple7) -> rule3) triple6) -> rule4) triple5 ((triple7) -> rule3)) -> rule2))]
("Eric" "is" "big" "+")
((((triple7 ((triple7) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple5 ((triple7) -> (rule3 % int3))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is not big.
False
9
inv-proof
[(((((triple7 ((triple7) -> rule3) triple6) -> rule4) triple5 ((triple7) -> rule3)) -> rule2))]
("Eric" "is" "big" "-")
((((triple7 ((triple7) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple5 ((triple7) -> (rule3 % int3))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "cold" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is green.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple4)] Dave is round.[(triple3)] Eric is blue.[(triple7)] Eric is nice.[(triple6)] Eric is red.[(triple5)] Harry is cold.[(triple10)] Harry is nice.[(triple9)] Harry is young.[(triple8)] @1: Eric is cold.[(((triple7) -> rule3))] @2: Eric is young.[(((triple7 ((triple7) -> rule3) triple6) -> rule4))] @3: Eric is big.[(((((triple7 ((triple7) -> rule3) triple6) -> rule4) triple5 ((triple7) -> rule3)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
((triple7) -> (rule3 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple7 ((triple7) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
((((triple7 ((triple7) -> (rule3 % int3)) triple6) -> (rule4 % int2)) triple5 ((triple7) -> (rule3 % int3))) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Bob is round shaped and green colored.
That man standing next to you with a big round body goes by the name of Dave.
Eric is a nice person, but he is both blue and red.
Although Harry is young and nice, he is as cold as ice.
A big person who feels cold and has blue skin is a nice person.
People who are young, while being red and cold, are big people.
Looking blue can be a sign that someone is cold.
When a person is blue, cold, and nice, they are also pretty young too.