Fiona is big. Fiona is blue. Harry is kind. If someone is red then they are big. Kind people are round. If Harry is big and Harry is kind then Harry is round. Big people are kind. All blue, red people are furry. If Harry is furry and Harry is big then Harry is blue. If someone is kind and not round then they are blue. If Fiona is blue then Fiona is furry.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is red then they are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If Harry is big and Harry is kind then Harry is round.
((("Harry" "is" "big" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "round" "+"))
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All blue, red people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If Harry is furry and Harry is big then Harry is blue.
((("Harry" "is" "furry" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "blue" "+"))
If someone is kind and not round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "blue" "+"))
If Fiona is blue then Fiona is furry.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "furry" "+"))
Harry is kind.
True
1
proof
[(triple3)]
("Harry" "is" "kind" "+")
triple3
Harry is not kind.
False
1
inv-proof
[(triple3)]
("Harry" "is" "kind" "-")
triple3
Fiona is kind.
True
2
proof
[(((triple1) -> rule4))]
("Fiona" "is" "kind" "+")
((triple1) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Harry" "is" "round" "-")
((triple3) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Harry is kind.[(triple3)] @1: Fiona is furry.[(((triple2) -> rule8))] Fiona is kind.[(((triple1) -> rule4))] Harry is round.[(((triple3) -> rule2))] @2: Fiona is round.[(((((triple1) -> rule4)) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple3) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2