Anne is green. Anne is red. Erin is big. Erin is blue. Erin is green. Erin is red. Fiona is blue. Gary is big. Gary is red. Gary is rough. Gary is smart. Gary is white. Blue, smart people are red. Green, big people are smart. Big people are blue. Blue people are rough. All smart, big people are green. If Fiona is smart then Fiona is rough.
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Blue, smart people are red.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "red" "+"))
Green, big people are smart.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
All smart, big people are green.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If Fiona is smart then Fiona is rough.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "rough" "+"))
Gary is white.
True
1
proof
[(triple12)]
("Gary" "is" "white" "+")
triple12
Gary is not big.
False
1
inv-proof
[(triple8)]
("Gary" "is" "big" "-")
triple8
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4 OR ((triple3) -> rule3))] Erin is green.[(triple5)] Erin is red.[(triple6 OR ((triple4 ((triple5 triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule3) ((triple5 triple3) -> rule2)) -> rule1))] Fiona is blue.[(triple7)] Gary is big.[(triple8)] Gary is red.[(triple9 OR ((((triple8) -> rule3) triple11) -> rule1))] Gary is rough.[(triple10 OR ((((triple8) -> rule3)) -> rule4))] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Erin is rough.[(((triple4) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] Erin is smart.[(((triple5 triple3) -> rule2))] Fiona is rough.[(((triple7) -> rule4))] Gary is blue.[(((triple8) -> rule3))] Gary is green.[(((triple11 triple8) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
((triple3) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
((triple4 ((triple5 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple5 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
((((triple8) -> (rule3 % int2)) triple11) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple10
((((triple8) -> (rule3 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Erin is rough.
("Erin" "is" "rough" "+")
((triple4) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((triple5 triple3) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple8) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple11 triple8) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1