Bob is feeling rough, red, nice, green and also blue. Charlie fits the description of someone who is rough, red and blue. Upon meeting Dave, you'll notice he's green and kind. Gary is a nice person who is red because he has a rash. A nice person who is green is feeling cold. If you can find someone who is nice and red, then be relieved that they are certain to be kind. Young people tend to be blue all the time and rough. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers. Big, green people that feel blue are mostly young. People who are blue and cold are red. A cold human with round and rough aspects is always kind.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is green and nice then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and blue and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and green and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Dave is green.
True
1
proof
[(triple10)]
("Dave" "is" "green" "+")
triple10
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Gary is kind.
True
3
proof
[(((triple12 triple11) -> rule2))]
("Gary" "is" "kind" "+")
((triple12 triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple12 triple11) -> rule2))]
("Gary" "is" "kind" "-")
((triple12 triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Bob is big.
True
6
proof
[(((triple1 triple5 ((triple3 triple2) -> rule2)) -> rule4) OR ((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> rule1)) -> rule6)) -> rule2)) -> rule4))]
("Bob" "is" "big" "+")
((triple1 triple5 ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is not big.
False
6
inv-proof
[(((triple1 triple5 ((triple3 triple2) -> rule2)) -> rule4) OR ((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> rule1)) -> rule6)) -> rule2)) -> rule4))]
("Bob" "is" "big" "-")
((triple1 triple5 ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
True
9
proof
[(((((triple1 triple5 ((triple3 triple2) -> rule2)) -> rule4) triple4 triple5) -> rule5) OR ((((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> rule1)) -> rule6)) -> rule2)) -> rule4) triple4 triple5) -> rule5))]
("Bob" "is" "young" "+")
((((triple1 triple5 ((triple3 triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is not young.
False
9
inv-proof
[(((((triple1 triple5 ((triple3 triple2) -> rule2)) -> rule4) triple4 triple5) -> rule5) OR ((((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> rule1)) -> rule6)) -> rule2)) -> rule4) triple4 triple5) -> rule5))]
("Bob" "is" "young" "-")
((((triple1 triple5 ((triple3 triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "red" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2 OR ((triple5 ((triple4 triple3) -> rule1)) -> rule6))] Bob is rough.[(triple1)] Charlie is blue.[(triple8)] Charlie is red.[(triple7)] Charlie is rough.[(triple6)] Dave is green.[(triple10)] Dave is kind.[(triple9)] Gary is nice.[(triple12)] Gary is red.[(triple11)] @1: Bob is cold.[(((triple4 triple3) -> rule1))] Bob is kind.[(((triple3 triple2) -> rule2) OR ((triple3 ((triple5 ((triple4 triple3) -> rule1)) -> rule6)) -> rule2))] Gary is kind.[(((triple12 triple11) -> rule2))] @2: Bob is big.[(((triple1 triple5 ((triple3 triple2) -> rule2)) -> rule4) OR ((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> rule1)) -> rule6)) -> rule2)) -> rule4))] @3: Bob is young.[(((((triple1 triple5 ((triple3 triple2) -> rule2)) -> rule4) triple4 triple5) -> rule5) OR ((((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> rule1)) -> rule6)) -> rule2)) -> rule4) triple4 triple5) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
((triple5 ((triple4 triple3) -> (rule1 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple11
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 ((triple5 ((triple4 triple3) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((triple12 triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple1 triple5 ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((((triple1 triple5 ((triple3 triple2) -> (rule2 % int3))) -> (rule4 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple1 triple5 ((triple3 ((triple5 ((triple4 triple3) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple4 triple5) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is feeling rough, red, nice, green and also blue.
Charlie fits the description of someone who is rough, red and blue.
Upon meeting Dave, you'll notice he's green and kind.
Gary is a nice person who is red because he has a rash.
A nice person who is green is feeling cold.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
Young people tend to be blue all the time and rough.
Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers.
Big, green people that feel blue are mostly young.
People who are blue and cold are red.
A cold human with round and rough aspects is always kind.