Bob is red. Bob is white. Fiona is nice. Gary is not cold. Gary is red. Harry is green. Harry is red. Harry is rough. Harry is round. Harry is white. Nice people are not rough. All rough, nice people are red. If someone is nice and not cold then they are white. If Fiona is white then Fiona is not nice. Green, rough people are round. If Gary is round then Gary is not rough.
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is red.
("Gary" "is" "red" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Nice people are not rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
All rough, nice people are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and not cold then they are white.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "white" "+"))
If Fiona is white then Fiona is not nice.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "nice" "-"))
Green, rough people are round.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If Gary is round then Gary is not rough.
((("Gary" "is" "round" "+")) -> ("Gary" "is" "rough" "-"))
Gary is not cold.
True
1
proof
[(triple4)]
("Gary" "is" "cold" "-")
triple4
Fiona is not nice.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "nice" "-")
triple3
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "round" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is red.[(triple1)] Bob is white.[(triple2)] Fiona is nice.[(triple3)] Gary is not cold.[(triple4)] Gary is red.[(triple5)] Harry is green.[(triple6)] Harry is red.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9 OR ((triple6 triple8) -> rule5))] Harry is white.[(triple10)] @1: Fiona is not rough.[(((triple3) -> rule1))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Gary is not cold.
("Gary" "is" "cold" "-")
triple4
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
((triple6 triple8) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple10
Fiona is not rough.
("Fiona" "is" "rough" "-")
((triple3) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1