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