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