Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is smart. Erin is nice. Erin is red. Fiona is green. Fiona is not red. Fiona is rough. Furry people are red. If Bob is nice and Bob is not rough then Bob is red. If someone is green and not smart then they are not furry.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If Bob is nice and Bob is not rough then Bob is red.
((("Bob" "is" "nice" "+") ("Bob" "is" "rough" "~")) -> ("Bob" "is" "red" "+"))
If someone is green and not smart then they are not furry.
((("someone" "is" "green" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "furry" "-"))
Bob is nice.
True
1
proof
[(triple4)]
("Bob" "is" "nice" "+")
triple4
Fiona is not green.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "green" "-")
triple10
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5 OR ((triple2) -> rule1))] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Erin is nice.[(triple8)] Erin is red.[(triple9)] Fiona is green.[(triple10)] Fiona is not red.[(triple11)] Fiona is rough.[(triple12)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is not red.
("Fiona" "is" "red" "-")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12