Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is smart. Fiona is blue. Fiona is cold. Fiona is red. Fiona is smart. Fiona is young. Smart people are big. If someone is big then they are furry. If Fiona is smart and Fiona is not big then Fiona is furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is smart and Fiona is not big then Fiona is furry.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "big" "~")) -> ("Fiona" "is" "furry" "+"))
Erin is cold.
True
1
proof
[(triple3)]
("Erin" "is" "cold" "+")
triple3
Fiona is not young.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "young" "-")
triple10
Fiona is big.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "big" "+")
((triple9) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple9) -> rule1))]
("Fiona" "is" "big" "-")
((triple9) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
True
3
proof
[(((((triple9) -> rule1)) -> rule2))]
("Fiona" "is" "furry" "+")
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((((triple9) -> rule1)) -> rule2))]
("Fiona" "is" "furry" "-")
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is big.[(triple1 OR ((triple5) -> rule1))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4 OR ((triple1) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Erin is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is red.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is big.[(((triple9) -> rule1))] @2: Fiona is furry.[(((((triple9) -> rule1)) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
((triple5) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is cold.
("Erin" "is" "cold" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
((triple1) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Fiona is big.
("Fiona" "is" "big" "+")
((triple9) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2