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