Fiona is cold. Fiona is furry. Fiona is not green. Fiona is smart. Fiona is white. Harry is cold. Harry is furry. Harry is green. Harry is round. Harry is smart. Harry is white. Harry is not young. If Fiona is green then Fiona is white. All young, round people are not smart.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is not young.
("Harry" "is" "young" "-")
If Fiona is green then Fiona is white.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "white" "+"))
All young, round people are not smart.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "-"))
Harry is round.
True
1
proof
[(triple9)]
("Harry" "is" "round" "+")
triple9
Fiona is not furry.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "furry" "-")
triple2
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is not green.[(triple3)] Fiona is smart.[(triple4)] Fiona is white.[(triple5)] Harry is cold.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8)] Harry is not young.[(triple12)] Harry is round.[(triple9)] Harry is smart.[(triple10)] Harry is white.[(triple11)]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is not green.
("Fiona" "is" "green" "-")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is not young.
("Harry" "is" "young" "-")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple11