Anne is quiet. Anne is rough. Dave is blue. Dave is nice. Dave is not young. Erin is blue. Erin is nice. Fiona is not nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. All nice things are round. Nice, rough things are round. If Fiona is not quiet then Fiona is not blue. All rough things are blue. All quiet, round things are not young. Blue things are red.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not young.
("Dave" "is" "young" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All nice things are round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Nice, rough things are round.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If Fiona is not quiet then Fiona is not blue.
((("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "blue" "-"))
All rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
All quiet, round things are not young.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "-"))
Blue things are red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Fiona is red.
True
1
proof
[(triple9 OR ((((triple10) -> rule4)) -> rule6))]
("Fiona" "is" "red" "+")
triple9
((((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not round.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "round" "-")
triple11
Erin is red.
True
2
proof
[(((triple6) -> rule6))]
("Erin" "is" "red" "+")
((triple6) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple10) -> rule4))]
("Fiona" "is" "blue" "-")
((triple10) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "round" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Dave is blue.[(triple3)] Dave is nice.[(triple4)] Dave is not young.[(triple5)] Erin is blue.[(triple6)] Erin is nice.[(triple7)] Fiona is not nice.[(triple8)] Fiona is red.[(triple9 OR ((((triple10) -> rule4)) -> rule6))] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Anne is blue.[(((triple2) -> rule4))] Dave is red.[(((triple3) -> rule6))] Dave is round.[(((triple4) -> rule1))] Erin is red.[(((triple6) -> rule6))] Erin is round.[(((triple7) -> rule1))] Fiona is blue.[(((triple10) -> rule4))] @2: Anne is red.[(((((triple2) -> rule4)) -> rule6))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is not young.
("Dave" "is" "young" "-")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is nice.
("Erin" "is" "nice" "+")
triple7
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
((((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Anne is blue.
("Anne" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple3) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple4) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple7) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple10) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2