Erin is green. Fiona is big. Fiona is green. Fiona is quiet. Fiona is smart. Gary is big. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Kind, green things are smart. Red, big things are young.
Erin is green.
("Erin" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Kind, green things are smart.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
Red, big things are young.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
Fiona is quiet.
True
1
proof
[(triple4)]
("Fiona" "is" "quiet" "+")
triple4
Gary is not quiet.
False
1
inv-proof
[(triple8)]
("Gary" "is" "quiet" "-")
triple8
Gary is young.
True
3
proof
[(((triple9 triple6) -> rule2))]
("Gary" "is" "young" "+")
((triple9 triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple9 triple6) -> rule2))]
("Gary" "is" "young" "-")
((triple9 triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "+")
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Erin is green.[(triple1)] Fiona is big.[(triple2)] Fiona is green.[(triple3)] Fiona is quiet.[(triple4)] Fiona is smart.[(triple5)] Gary is big.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is smart.[(triple10)] @1: Gary is young.[(((triple9 triple6) -> rule2))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
((triple9 triple6) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1