Charlie is quiet. Charlie is smart. Dave is kind. Dave is quiet. Dave is smart. Fiona is big. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Kind people are round. If Dave is not kind then Dave is big. If someone is smart and round then they are rough. If someone is smart and not kind then they are quiet. If someone is smart and not quiet then they are big. If Fiona is big and Fiona is not round then Fiona is rough.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If Dave is not kind then Dave is big.
((("Dave" "is" "kind" "~")) -> ("Dave" "is" "big" "+"))
If someone is smart and round then they are rough.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is smart and not kind then they are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "quiet" "+"))
If someone is smart and not quiet then they are big.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "big" "+"))
If Fiona is big and Fiona is not round then Fiona is rough.
((("Fiona" "is" "big" "+") ("Fiona" "is" "round" "~")) -> ("Fiona" "is" "rough" "+"))
Dave is quiet.
True
1
proof
[(triple4)]
("Dave" "is" "quiet" "+")
triple4
Fiona is not big.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "big" "-")
triple6
Dave is round.
True
2
proof
[(((triple3) -> rule1))]
("Dave" "is" "round" "+")
((triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "round" "-")
((triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
True
4
proof
[(((triple5 ((triple3) -> rule1)) -> rule3))]
("Dave" "is" "rough" "+")
((triple5 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not rough.
False
4
inv-proof
[(((triple5 ((triple3) -> rule1)) -> rule3))]
("Dave" "is" "rough" "-")
((triple5 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Charlie is quiet.[(triple1)] Charlie is smart.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10 OR ((triple8) -> rule1))] @1: Dave is round.[(((triple3) -> rule1))] @2: Dave is rough.[(((triple5 ((triple3) -> rule1)) -> rule3))]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Charlie is smart.
("Charlie" "is" "smart" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
((triple8) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple5 ((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2