Charlie is green. Dave is young. Fiona is big. Fiona is quiet. Fiona is white. Gary is quiet. Gary is round. All young, quiet people are green. If Fiona is white then Fiona is young.
Charlie is green.
("Charlie" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
All young, quiet people are green.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
If Fiona is white then Fiona is young.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "young" "+"))
Gary is round.
True
1
proof
[(triple7)]
("Gary" "is" "round" "+")
triple7
Fiona is not big.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "big" "-")
triple3
Fiona is young.
True
2
proof
[(((triple5) -> rule2))]
("Fiona" "is" "young" "+")
((triple5) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple5) -> rule2))]
("Fiona" "is" "young" "-")
((triple5) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
True
4
proof
[(((((triple5) -> rule2) triple4) -> rule1))]
("Fiona" "is" "green" "+")
((((triple5) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not green.
False
4
inv-proof
[(((((triple5) -> rule2) triple4) -> rule1))]
("Fiona" "is" "green" "-")
((((triple5) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "green" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is green.[(triple1)] Dave is young.[(triple2)] Fiona is big.[(triple3)] Fiona is quiet.[(triple4)] Fiona is white.[(triple5)] Gary is quiet.[(triple6)] Gary is round.[(triple7)] @1: Fiona is young.[(((triple5) -> rule2))] @2: Fiona is green.[(((((triple5) -> rule2) triple4) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
((triple5) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple5) -> (rule2 % int2)) triple4) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2