Bob is green. Erin is round. Erin is smart. Harry is cold. Harry is green. Harry is round. Harry is white. White, green things are smart. If something is red and smart then it is cold. Cold, green things are round. If something is red then it is green. All green things are white. All nice, green things are round.
Bob is green.
("Bob" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
White, green things are smart.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If something is red and smart then it is cold.
((("something" "is" "red" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
Cold, green things are round.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
All nice, green things are round.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Erin is not smart.
False
1
inv-proof
[(triple3)]
("Erin" "is" "smart" "-")
triple3
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "green" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is green.[(triple1)] Erin is round.[(triple2)] Erin is smart.[(triple3)] Harry is cold.[(triple4)] Harry is green.[(triple5)] Harry is round.[(triple6 OR ((triple4 triple5) -> rule3))] Harry is white.[(triple7 OR ((triple5) -> rule5))] @1: Bob is white.[(((triple1) -> rule5))] Harry is smart.[(((triple7 triple5) -> rule1) OR ((((triple5) -> rule5) triple5) -> rule1))] @2: Bob is smart.[(((((triple1) -> rule5) triple1) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
((triple4 triple5) -> (rule3 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple7
((triple5) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple7 triple5) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple5) -> (rule5 % int2)) triple5) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2