Charlie is red. Charlie is round. Dave is nice. Erin is furry. Erin is nice. Fiona is kind. Fiona is smart. If someone is nice and not kind then they are not big. If someone is furry and not smart then they are big. Nice people are round. Kind people are furry. All big people are furry. If Fiona is round then Fiona is nice.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is nice and not kind then they are not big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "big" "-"))
If someone is furry and not smart then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "big" "+"))
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
All big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is round then Fiona is nice.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "nice" "+"))
Erin is nice.
True
1
proof
[(triple5)]
("Erin" "is" "nice" "+")
triple5
Charlie is not red.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "red" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple6) -> rule4))]
("Fiona" "is" "furry" "+")
((triple6) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple6) -> rule4))]
("Fiona" "is" "furry" "-")
((triple6) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Charlie is red.[(triple1)] Charlie is round.[(triple2)] Dave is nice.[(triple3)] Erin is furry.[(triple4)] Erin is nice.[(triple5)] Fiona is kind.[(triple6)] Fiona is smart.[(triple7)] @1: Dave is round.[(((triple3) -> rule3))] Erin is round.[(((triple5) -> rule3))] Fiona is furry.[(((triple6) -> rule4))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple5) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1