Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is smart. Bob is white. Charlie is red. Fiona is big. Fiona is blue. Fiona is cold. Fiona is red. Fiona is smart. Fiona is white. Gary is big. Gary is smart. If Gary is blue then Gary is red. Big things are blue.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Gary is blue then Gary is red.
((("Gary" "is" "blue" "+")) -> ("Gary" "is" "red" "+"))
Big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Charlie is red.
True
1
proof
[(triple8)]
("Charlie" "is" "red" "+")
triple8
Fiona is not blue.
False
1
inv-proof
[(triple10 OR ((triple9) -> rule2))]
("Fiona" "is" "blue" "-")
triple10
((triple9) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Gary is blue.
True
2
proof
[(((triple15) -> rule2))]
("Gary" "is" "blue" "+")
((triple15) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
2
inv-proof
[(((triple15) -> rule2))]
("Gary" "is" "blue" "-")
((triple15) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
True
3
proof
[(((((triple15) -> rule2)) -> rule1))]
("Gary" "is" "red" "+")
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not red.
False
3
inv-proof
[(((((triple15) -> rule2)) -> rule1))]
("Gary" "is" "red" "-")
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
Gary is not white.
Unknown
inv-random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1) -> rule2))] Bob is cold.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7)] Charlie is red.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10 OR ((triple9) -> rule2))] Fiona is cold.[(triple11)] Fiona is red.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14)] Gary is big.[(triple15)] Gary is smart.[(triple16)] @1: Gary is blue.[(((triple15) -> rule2))] @2: Gary is red.[(((((triple15) -> rule2)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
((triple9) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is smart.
("Fiona" "is" "smart" "+")
triple13
Fiona is white.
("Fiona" "is" "white" "+")
triple14
Gary is big.
("Gary" "is" "big" "+")
triple15
Gary is smart.
("Gary" "is" "smart" "+")
triple16
Gary is blue.
("Gary" "is" "blue" "+")
((triple15) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple15) -> (rule2 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2