Anne is green. Anne is young. Erin is green. Fiona is big. Fiona is furry. Fiona is rough. Gary is young. Big things are smart. If something is young and not green then it is rough. Young, big things are not rough. All green, young things are big. If Fiona is kind and Fiona is not young then Fiona is rough. If something is big and furry then it is kind.
Anne is green.
("Anne" "is" "green" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Big things are smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If something is young and not green then it is rough.
((("something" "is" "young" "+") ("something" "is" "green" "~")) -> ("something" "is" "rough" "+"))
Young, big things are not rough.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "-"))
All green, young things are big.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
If Fiona is kind and Fiona is not young then Fiona is rough.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "young" "~")) -> ("Fiona" "is" "rough" "+"))
If something is big and furry then it is kind.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Erin is green.
True
1
proof
[(triple3)]
("Erin" "is" "green" "+")
triple3
Anne is not young.
False
1
inv-proof
[(triple2)]
("Anne" "is" "young" "-")
triple2
Fiona is smart.
True
2
proof
[(((triple4) -> rule1))]
("Fiona" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is not kind.
False
3
inv-proof
[(((triple4 triple5) -> rule6))]
("Fiona" "is" "kind" "-")
((triple4 triple5) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Anne is not rough.
True
5
proof
[(((triple2 ((triple1 triple2) -> rule4)) -> rule3))]
("Anne" "is" "rough" "-")
((triple2 ((triple1 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
False
5
inv-proof
[(((triple2 ((triple1 triple2) -> rule4)) -> rule3))]
("Anne" "is" "rough" "+")
((triple2 ((triple1 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "kind" "-")
Erin is rough.
Unknown
rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "rough" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Erin is green.[(triple3)] Fiona is big.[(triple4)] Fiona is furry.[(triple5)] Fiona is rough.[(triple6)] Gary is young.[(triple7)] @1: Anne is big.[(((triple1 triple2) -> rule4))] Fiona is kind.[(((triple4 triple5) -> rule6))] Fiona is smart.[(((triple4) -> rule1))] @2: Anne is not rough.[(((triple2 ((triple1 triple2) -> rule4)) -> rule3))] Anne is smart.[(((((triple1 triple2) -> rule4)) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Anne is big.
("Anne" "is" "big" "+")
((triple1 triple2) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4 triple5) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Anne is not rough.
("Anne" "is" "rough" "-")
((triple2 ((triple1 triple2) -> (rule4 % int2))) -> (rule3 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((((triple1 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2