Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Fiona is quiet. Fiona is rough. Gary is big. Harry is cold. Harry is rough. All cold, green things are nice.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All cold, green things are nice.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Bob is rough.
True
1
proof
[(triple6)]
("Bob" "is" "rough" "+")
triple6
Fiona is not rough.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "rough" "-")
triple9
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple2 triple3) -> rule1))] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7)] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Gary is big.[(triple10)] Harry is cold.[(triple11)] Harry is rough.[(triple12)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple2 triple3) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12