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