Charlie is furry. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is white. Dave is quiet. Dave is rough. Dave is round. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. All quiet things are red. Quiet things are young. If something is red and not white then it is not furry.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All quiet things are red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Quiet things are young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is red and not white then it is not furry.
((("something" "is" "red" "+") ("something" "is" "white" "~")) -> ("something" "is" "furry" "-"))
Fiona is quiet.
True
1
proof
[(triple11)]
("Fiona" "is" "quiet" "+")
triple11
Charlie is not red.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule1))]
("Charlie" "is" "red" "-")
triple3
((triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Dave is red.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "red" "+")
((triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple2) -> rule2))]
("Charlie" "is" "young" "-")
((triple2) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3 OR ((triple2) -> rule1))] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Dave is quiet.[(triple7)] Dave is rough.[(triple8)] Dave is round.[(triple9)] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Fiona is red.[(triple12 OR ((triple11) -> rule1))] Fiona is rough.[(triple13)] Fiona is round.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16 OR ((triple11) -> rule2))] @1: Charlie is young.[(((triple2) -> rule2))] Dave is red.[(((triple7) -> rule1))] Dave is young.[(((triple7) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
((triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
((triple11) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Fiona is young.
("Fiona" "is" "young" "+")
triple16
((triple11) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple7) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1