Charlie is red. Erin is not blue. Erin is nice. Erin is red. Erin is white. Erin is young. Fiona is quiet. Fiona is not red. Fiona is rough. Gary is rough. All white, red things are young. If something is white and quiet then it is young. Quiet, young things are rough. If something is young and blue then it is red. Nice things are red. If something is rough and young then it is not red. If something is nice and rough then it is red. All rough things are white.
Charlie is red.
("Charlie" "is" "red" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All white, red things are young.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
If something is white and quiet then it is young.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Quiet, young things are rough.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If something is young and blue then it is red.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
Nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something is rough and young then it is not red.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "-"))
If something is nice and rough then it is red.
((("something" "is" "nice" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
All rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple5)]
("Erin" "is" "white" "+")
triple5
Erin is blue.
False
1
inv-proof
[(triple2)]
("Erin" "is" "blue" "+")
triple2
Fiona is white.
True
2
proof
[(((triple9) -> rule8))]
("Fiona" "is" "white" "+")
((triple9) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple9) -> rule8))]
("Fiona" "is" "white" "-")
((triple9) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
True
4
proof
[(((((triple9) -> rule8) triple7) -> rule2))]
("Fiona" "is" "young" "+")
((((triple9) -> (rule8 % int2)) triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not young.
False
4
inv-proof
[(((((triple9) -> rule8) triple7) -> rule2))]
("Fiona" "is" "young" "-")
((((triple9) -> (rule8 % int2)) triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Charlie is not young.
Unknown
inv-rconc
[@3: Charlie is young.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Charlie is red.[(triple1)] Erin is nice.[(triple3)] Erin is not blue.[(triple2)] Erin is red.[(triple4 OR ((triple3) -> rule5))] Erin is white.[(triple5)] Erin is young.[(triple6 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple3) -> rule5)) -> rule1))] Fiona is not red.[(triple8 OR ((triple9 ((((triple9) -> rule8) triple7) -> rule2)) -> rule6))] Fiona is quiet.[(triple7)] Fiona is rough.[(triple9)] Gary is rough.[(triple10)] @1: Fiona is white.[(((triple9) -> rule8))] Gary is white.[(((triple10) -> rule8))] @2: Fiona is young.[(((((triple9) -> rule8) triple7) -> rule2))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is not blue.
("Erin" "is" "blue" "-")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple4
((triple3) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
((triple5 triple4) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple5 ((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Fiona is not red.
("Fiona" "is" "red" "-")
triple8
((triple9 ((((triple9) -> (rule8 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
((triple9) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple10) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple9) -> (rule8 % int2)) triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2