Erin is big. Erin is furry. Erin is kind. Erin is smart. Erin is young. Fiona is big. Fiona is kind. Fiona is smart. Fiona is white. Fiona is young. If something is big and young then it is smart. If something is red and big then it is furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is big and young then it is smart.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "smart" "+"))
If something is red and big then it is furry.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Fiona is white.
True
1
proof
[(triple9)]
("Fiona" "is" "white" "+")
triple9
Erin is not big.
False
1
inv-proof
[(triple1)]
("Erin" "is" "big" "-")
triple1
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is smart.[(triple4 OR ((triple1 triple5) -> rule1))] Erin is young.[(triple5)] Fiona is big.[(triple6)] Fiona is kind.[(triple7)] Fiona is smart.[(triple8 OR ((triple6 triple10) -> rule1))] Fiona is white.[(triple9)] Fiona is young.[(triple10)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
((triple1 triple5) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
((triple6 triple10) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10