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