Bob is not big. Bob is blue. Bob is nice. Fiona is big. Fiona is cold. Gary is cold. Gary is kind. If someone is kind and furry then they are blue. If someone is furry and not nice then they are kind. Blue people are kind. If Fiona is cold then Fiona is blue. If Fiona is nice then Fiona is big. If someone is nice and not big then they are white.
Bob is not big.
("Bob" "is" "big" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is kind and furry then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is furry and not nice then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "kind" "+"))
Blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is cold then Fiona is blue.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "blue" "+"))
If Fiona is nice then Fiona is big.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "big" "+"))
If someone is nice and not big then they are white.
((("someone" "is" "nice" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "white" "+"))
Bob is not big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Bob is kind.
True
2
proof
[(((triple2) -> rule3))]
("Bob" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple2) -> rule3))]
("Bob" "is" "kind" "-")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "blue" "-")
Fiona is white.
Unknown
rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "white" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is blue.[(triple2)] Bob is nice.[(triple3)] Bob is not big.[(triple1)] Fiona is big.[(triple4)] Fiona is cold.[(triple5)] Gary is cold.[(triple6)] Gary is kind.[(triple7)] @1: Bob is kind.[(((triple2) -> rule3))] Bob is white.[(((triple3 triple1) -> rule6))] Fiona is blue.[(((triple5) -> rule4))] @2: Fiona is kind.[(((((triple5) -> rule4)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple3 triple1) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple5) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2