Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is round. Charlie is nice. Charlie is round. Erin is cold. Erin is red. Erin is round. Erin is young. Harry is blue. Harry is cold. Harry is red. Harry is young. Young things are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Erin is cold.
True
1
proof
[(triple8 OR ((triple11) -> rule1))]
("Erin" "is" "cold" "+")
triple8
((triple11) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Bob is not round.
False
1
inv-proof
[(triple5)]
("Bob" "is" "round" "-")
triple5
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Charlie is nice.[(triple6)] Charlie is round.[(triple7)] Erin is cold.[(triple8 OR ((triple11) -> rule1))] Erin is red.[(triple9)] Erin is round.[(triple10)] Erin is young.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13 OR ((triple15) -> rule1))] Harry is red.[(triple14)] Harry is young.[(triple15)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
((triple11) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
((triple15) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15