Charlie is not cold. Charlie is nice. Charlie is round. Charlie is white. Erin is cold. Erin is nice. Erin is quiet. Erin is not round. Erin is white. Erin is young. Fiona is not quiet. Fiona is not white. Harry is cold. Harry is nice. Harry is quiet. Harry is young. Nice, young people are white. Quiet, cold people are not furry.
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is not white.
("Fiona" "is" "white" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
Nice, young people are white.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Quiet, cold people are not furry.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "-"))
Charlie is round.
True
1
proof
[(triple3)]
("Charlie" "is" "round" "+")
triple3
Harry is not young.
False
1
inv-proof
[(triple16)]
("Harry" "is" "young" "-")
triple16
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Charlie is nice.[(triple2)] Charlie is not cold.[(triple1)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Erin is cold.[(triple5)] Erin is nice.[(triple6)] Erin is not round.[(triple8)] Erin is quiet.[(triple7)] Erin is white.[(triple9 OR ((triple6 triple10) -> rule1))] Erin is young.[(triple10)] Fiona is not quiet.[(triple11)] Fiona is not white.[(triple12)] Harry is cold.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] Harry is young.[(triple16)] @1: Erin is not furry.[(((triple7 triple5) -> rule2))] Harry is not furry.[(((triple15 triple13) -> rule2))] Harry is white.[(((triple14 triple16) -> rule1))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is not round.
("Erin" "is" "round" "-")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple6 triple10) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple10
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple11
Fiona is not white.
("Fiona" "is" "white" "-")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Erin is not furry.
("Erin" "is" "furry" "-")
((triple7 triple5) -> (rule2 % int1))
Erin is not furry.
("Erin" "is" "furry" "-")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
((triple15 triple13) -> (rule2 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple14 triple16) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1