Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is white. Bob is young. Charlie is smart. Erin is blue. Erin is smart. Erin is white. Fiona is furry. Fiona is smart. All blue, white things are nice. If something is young then it is cold. All cold things are nice. All cold things are furry. Cold things are nice. Young, smart things are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All blue, white things are nice.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
All cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
All cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Young, smart things are cold.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Erin is blue.
True
1
proof
[(triple8)]
("Erin" "is" "blue" "+")
triple8
Bob is not white.
False
1
inv-proof
[(triple5)]
("Bob" "is" "white" "-")
triple5
Erin is nice.
True
3
proof
[(((triple8 triple10) -> rule1))]
("Erin" "is" "nice" "+")
((triple8 triple10) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
3
inv-proof
[(((triple8 triple10) -> rule1))]
("Erin" "is" "nice" "-")
((triple8 triple10) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Fiona is not nice.
Unknown
inv-rconc
[@2: Fiona is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is cold.
Unknown
rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple6) -> rule2))] Bob is furry.[(triple3 OR ((triple2) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] Bob is nice.[(triple4 OR ((triple2) -> rule3) OR ((triple2) -> rule5) OR ((triple1 triple5) -> rule1) OR ((((triple6) -> rule2)) -> rule3) OR ((((triple6) -> rule2)) -> rule5))] Bob is white.[(triple5)] Bob is young.[(triple6)] Charlie is smart.[(triple7)] Erin is blue.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)] Fiona is furry.[(triple11)] Fiona is smart.[(triple12)] @1: Erin is nice.[(((triple8 triple10) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple6) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple2) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple2) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 triple5) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Erin is nice.
("Erin" "is" "nice" "+")
((triple8 triple10) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1