Bob is big. Charlie is big. Charlie is smart. Erin is green. Erin is red. Erin is rough. Erin is smart. Erin is white. Fiona is big. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. All big people are quiet. All rough people are green.
Bob is big.
("Bob" "is" "big" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All big people are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Fiona is quiet.
True
1
proof
[(triple11 OR ((triple9) -> rule1))]
("Fiona" "is" "quiet" "+")
triple11
((triple9) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Erin is not rough.
False
1
inv-proof
[(triple6)]
("Erin" "is" "rough" "-")
triple6
Charlie is quiet.
True
2
proof
[(((triple2) -> rule1))]
("Charlie" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Bob is big.[(triple1)] Charlie is big.[(triple2)] Charlie is smart.[(triple3)] Erin is green.[(triple4 OR ((triple6) -> rule2))] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)] Erin is white.[(triple8)] Fiona is big.[(triple9)] Fiona is green.[(triple10 OR ((triple13) -> rule2))] Fiona is quiet.[(triple11 OR ((triple9) -> rule1))] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15)] @1: Bob is quiet.[(((triple1) -> rule1))] Charlie is quiet.[(((triple2) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
((triple6) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
((triple13) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
((triple9) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1