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