Dave is blue. Dave is quiet. Erin is quiet. Erin is red. Erin is rough. Erin is round. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. Quiet people are blue. If someone is red then they are round.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
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 young.
("Fiona" "is" "young" "+")
Quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Erin is rough.
True
1
proof
[(triple5)]
("Erin" "is" "rough" "+")
triple5
Fiona is not rough.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "rough" "-")
triple11
Fiona is round.
True
2
proof
[(((triple10) -> rule2))]
("Fiona" "is" "round" "+")
((triple10) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "blue" "-")
((triple3) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Dave is blue.[(triple1 OR ((triple2) -> rule1))] Dave is quiet.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6 OR ((triple4) -> rule2))] Fiona is blue.[(triple7 OR ((triple9) -> rule1))] Fiona is furry.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] @1: Erin is blue.[(((triple3) -> rule1))] Fiona is round.[(((triple10) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
((triple2) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
((triple4) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
((triple9) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Erin is blue.
("Erin" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple10) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1