Dave is big in stature, blue from the cold, has red hair and is kind. The big, round, blue guy is Eric. He's kind but rather rough. Others enjoy Fred's company because he is so nice and kind. A big person who looks blue is also going to look young. Nice people who have red cold skin are round. People with blue and red skin color are also green. Blue, young and round people are usually big. A cold, red person with a kind disposition will certainly be big. Blue people round with fat are red from too much time in the sun. Kind people,though green,are cold.
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and nice and cold then they are round.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and cold and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and round then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Fred is nice.
True
1
proof
[(triple11)]
("Fred" "is" "nice" "+")
triple11
Eric is not blue.
False
1
inv-proof
[(triple9)]
("Eric" "is" "blue" "-")
triple9
Eric is red.
True
3
proof
[(((triple9 triple6) -> rule6))]
("Eric" "is" "red" "+")
((triple9 triple6) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not young.
False
3
inv-proof
[(((triple9 triple10) -> rule1) OR ((triple9 ((((triple9 triple6) -> rule6) ((triple8 ((triple9 ((triple9 triple6) -> rule6)) -> rule3)) -> rule7) triple8) -> rule5)) -> rule1))]
("Eric" "is" "young" "-")
((triple9 triple10) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
((triple9 ((((triple9 triple6) -> (rule6 % int5)) ((triple8 ((triple9 ((triple9 triple6) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
int5
Eric is green.
True
5
proof
[(((triple9 ((triple9 triple6) -> rule6)) -> rule3))]
("Eric" "is" "green" "+")
((triple9 ((triple9 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not green.
False
5
inv-proof
[(((triple9 ((triple9 triple6) -> rule6)) -> rule3))]
("Eric" "is" "green" "-")
((triple9 ((triple9 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
True
7
proof
[(((triple8 ((triple9 ((triple9 triple6) -> rule6)) -> rule3)) -> rule7))]
("Eric" "is" "cold" "+")
((triple8 ((triple9 ((triple9 triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not cold.
False
7
inv-proof
[(((triple8 ((triple9 ((triple9 triple6) -> rule6)) -> rule3)) -> rule7))]
("Eric" "is" "cold" "-")
((triple8 ((triple9 ((triple9 triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Fred" "is" "big" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Fred is not round.
Unknown
inv-rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Fred" "is" "round" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "red" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Dave is big.[(triple5 OR ((triple1 triple3 triple2) -> rule5) OR ((triple1 ((triple2 ((triple4 triple1) -> rule3)) -> rule7) triple2) -> rule5))] Dave is blue.[(triple4)] Dave is cold.[(triple3 OR ((triple2 ((triple4 triple1) -> rule3)) -> rule7))] Dave is kind.[(triple2)] Dave is red.[(triple1)] Eric is big.[(triple10 OR ((((triple9 triple6) -> rule6) ((triple8 ((triple9 ((triple9 triple6) -> rule6)) -> rule3)) -> rule7) triple8) -> rule5))] Eric is blue.[(triple9)] Eric is kind.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6)] Fred is kind.[(triple12)] Fred is nice.[(triple11)] @1: Dave is green.[(((triple4 triple1) -> rule3))] Dave is young.[(((triple4 triple5) -> rule1) OR ((triple4 ((triple1 triple3 triple2) -> rule5)) -> rule1) OR ((triple4 ((triple1 ((triple2 ((triple4 triple1) -> rule3)) -> rule7) triple2) -> rule5)) -> rule1))] Eric is red.[(((triple9 triple6) -> rule6))] Eric is young.[(((triple9 triple10) -> rule1) OR ((triple9 ((((triple9 triple6) -> rule6) ((triple8 ((triple9 ((triple9 triple6) -> rule6)) -> rule3)) -> rule7) triple8) -> rule5)) -> rule1))] @2: Eric is green.[(((triple9 ((triple9 triple6) -> rule6)) -> rule3))] @3: Eric is cold.[(((triple8 ((triple9 ((triple9 triple6) -> rule6)) -> rule3)) -> rule7))]
Dave is big.
("Dave" "is" "big" "+")
triple5
((triple1 triple3 triple2) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple1 ((triple2 ((triple4 triple1) -> (rule3 % int3))) -> (rule7 % int2)) triple2) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple3
((triple2 ((triple4 triple1) -> (rule3 % int2))) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple10
((((triple9 triple6) -> (rule6 % int4)) ((triple8 ((triple9 ((triple9 triple6) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple8) -> (rule5 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is cold.
("Eric" "is" "cold" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is blue.
("Eric" "is" "blue" "+")
triple9
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Eric is round.
("Eric" "is" "round" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple12
Fred is nice.
("Fred" "is" "nice" "+")
triple11
Dave is green.
("Dave" "is" "green" "+")
((triple4 triple1) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4 triple5) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple4 ((triple1 triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((triple4 ((triple1 ((triple2 ((triple4 triple1) -> (rule3 % int4))) -> (rule7 % int3)) triple2) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
((triple9 triple6) -> (rule6 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((triple9 triple10) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
((triple9 ((((triple9 triple6) -> (rule6 % int5)) ((triple8 ((triple9 ((triple9 triple6) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
int5
Eric is green.
("Eric" "is" "green" "+")
((triple9 ((triple9 triple6) -> (rule6 % int2))) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple8 ((triple9 ((triple9 triple6) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Dave is big in stature, blue from the cold, has red hair and is kind.
The big, round, blue guy is Eric; He's kind but rather rough.
Others enjoy Fred's company because he is so nice and kind.
A big person who looks blue is also going to look young.
Nice people who have red cold skin are round.
People with blue and red skin color are also green.
Blue, young and round people are usually big.
A cold, red person with a kind disposition will certainly be big.
Blue people round with fat are red from too much time in the sun.
Kind people,though green,are cold.