Fiona is big. Fiona is furry. Fiona is not green. Fiona is rough. Fiona is smart. Fiona is not white. Harry is big. Harry is rough. Harry is smart. Harry is not white. If Harry is smart and Harry is furry then Harry is nice. If Fiona is smart and Fiona is not furry then Fiona is big. All smart, rough things are nice.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Harry is big.
("Harry" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is not white.
("Harry" "is" "white" "-")
If Harry is smart and Harry is furry then Harry is nice.
((("Harry" "is" "smart" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "nice" "+"))
If Fiona is smart and Fiona is not furry then Fiona is big.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "big" "+"))
All smart, rough things are nice.
((("something" "is" "smart" "+") ("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Fiona is big.
True
1
proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Harry is not big.
False
1
inv-proof
[(triple7)]
("Harry" "is" "big" "-")
triple7
Fiona is nice.
True
3
proof
[(((triple5 triple4) -> rule3))]
("Fiona" "is" "nice" "+")
((triple5 triple4) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple9 triple8) -> rule3))]
("Harry" "is" "nice" "-")
((triple9 triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is not green.[(triple3)] Fiona is not white.[(triple6)] Fiona is rough.[(triple4)] Fiona is smart.[(triple5)] Harry is big.[(triple7)] Harry is not white.[(triple10)] Harry is rough.[(triple8)] Harry is smart.[(triple9)] @1: Fiona is nice.[(((triple5 triple4) -> rule3))] Harry is nice.[(((triple9 triple8) -> rule3))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is not green.
("Fiona" "is" "green" "-")
triple3
Fiona is not white.
("Fiona" "is" "white" "-")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is not white.
("Harry" "is" "white" "-")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple5 triple4) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple9 triple8) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1