Erin is big. Erin is blue. Erin is round. Fiona is big. Fiona is young. Gary is kind. Gary is quiet. If something is quiet then it is big. All big things are blue. If something is quiet then it is young.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is quiet then it is big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is quiet then it is young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Erin is round.
True
1
proof
[(triple3)]
("Erin" "is" "round" "+")
triple3
Gary is not kind.
False
1
inv-proof
[(triple6)]
("Gary" "is" "kind" "-")
triple6
Fiona is blue.
True
2
proof
[(((triple4) -> rule2))]
("Fiona" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple4) -> rule2))]
("Fiona" "is" "blue" "-")
((triple4) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "young" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple1) -> rule2))] Erin is round.[(triple3)] Fiona is big.[(triple4)] Fiona is young.[(triple5)] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] @1: Fiona is blue.[(((triple4) -> rule2))] Gary is big.[(((triple7) -> rule1))] Gary is young.[(((triple7) -> rule3))] @2: Gary is blue.[(((((triple7) -> rule1)) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
((triple1) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple4) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple7) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple7) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2