Charlie is big. Charlie is furry. Charlie is smart. Erin is big. Fiona is big. Fiona is furry. Fiona is red. If Fiona is red then Fiona is nice. If Erin is furry then Erin is big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If Fiona is red then Fiona is nice.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "nice" "+"))
If Erin is furry then Erin is big.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "big" "+"))
Fiona is furry.
True
1
proof
[(triple6)]
("Fiona" "is" "furry" "+")
triple6
Erin is not big.
False
1
inv-proof
[(triple4)]
("Erin" "is" "big" "-")
triple4
Fiona is nice.
True
2
proof
[(((triple7) -> rule1))]
("Fiona" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("Fiona" "is" "nice" "-")
((triple7) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is smart.[(triple3)] Erin is big.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is red.[(triple7)] @1: Fiona is nice.[(((triple7) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1