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