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