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