Erin is big. Erin is nice. Erin is smart. Erin is young. Fiona is blue. Fiona is not cold. Fiona is not smart. Fiona is young. Gary is not blue. Gary is kind. Gary is nice. Gary is young. Young, blue people are kind. Kind, cold people are smart.
Erin is big.
("Erin" "is" "big" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Young, blue people are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Kind, cold people are smart.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Fiona is not cold.
True
1
proof
[(triple6)]
("Fiona" "is" "cold" "-")
triple6
Gary is not kind.
False
1
inv-proof
[(triple10)]
("Gary" "is" "kind" "-")
triple10
Fiona is kind.
True
3
proof
[(((triple8 triple5) -> rule1))]
("Fiona" "is" "kind" "+")
((triple8 triple5) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
3
inv-proof
[(((triple8 triple5) -> rule1))]
("Fiona" "is" "kind" "-")
((triple8 triple5) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Erin is big.[(triple1)] Erin is nice.[(triple2)] Erin is smart.[(triple3)] Erin is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is not cold.[(triple6)] Fiona is not smart.[(triple7)] Fiona is young.[(triple8)] Gary is kind.[(triple10)] Gary is nice.[(triple11)] Gary is not blue.[(triple9)] Gary is young.[(triple12)] @1: Fiona is kind.[(((triple8 triple5) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple6
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is not blue.
("Gary" "is" "blue" "-")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple8 triple5) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1