Bob is quiet. Charlie is blue. Charlie is quiet. Fiona is big. Fiona is blue. Fiona is kind. Fiona is round. All quiet, blue things are big. All big things are round. Quiet, green things are rough.
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All quiet, blue things are big.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
All big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Quiet, green things are rough.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Fiona is blue.
True
1
proof
[(triple5)]
("Fiona" "is" "blue" "+")
triple5
Fiona is not blue.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "blue" "-")
triple5
Charlie is big.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Charlie" "is" "big" "+")
((triple3 triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is not big.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Charlie" "is" "big" "-")
((triple3 triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
True
4
proof
[(((((triple3 triple2) -> rule1)) -> rule2))]
("Charlie" "is" "round" "+")
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is not round.
False
4
inv-proof
[(((((triple3 triple2) -> rule1)) -> rule2))]
("Charlie" "is" "round" "-")
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "+")
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "rough" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is quiet.[(triple1)] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple6)] Fiona is round.[(triple7 OR ((triple4) -> rule2))] @1: Charlie is big.[(((triple3 triple2) -> rule1))] @2: Charlie is round.[(((((triple3 triple2) -> rule1)) -> rule2))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
((triple4) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple3 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2