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