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