Bob is blue. Bob is cold. Bob is red. Bob is round. Fiona is big. Fiona is blue. Fiona is round. Fiona is young. Gary is big. Gary is blue. Gary is cold. Gary is young. If someone is blue and rough then they are big. If Bob is rough and Bob is red then Bob is cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is blue and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Bob is rough and Bob is red then Bob is cold.
((("Bob" "is" "rough" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "cold" "+"))
Bob is round.
True
1
proof
[(triple4)]
("Bob" "is" "round" "+")
triple4
Fiona is not young.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "young" "-")
triple8
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6)] Fiona is round.[(triple7)] Fiona is young.[(triple8)] Gary is big.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is young.[(triple12)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12