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