Bob is big. Bob is quiet. Erin is white. Nice things are big. If Erin is green then Erin is cold. Green, big things are cold. If Erin is quiet then Erin is cold. All nice things are green. All white things are big. Big, white things are green. Young things are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
If Erin is green then Erin is cold.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "cold" "+"))
Green, big things are cold.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If Erin is quiet then Erin is cold.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "cold" "+"))
All nice things are green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
All white things are big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Big, white things are green.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Bob is quiet.
True
1
proof
[(triple2)]
("Bob" "is" "quiet" "+")
triple2
Erin is not white.
False
1
inv-proof
[(triple3)]
("Erin" "is" "white" "-")
triple3
Erin is big.
True
2
proof
[(((triple3) -> rule6))]
("Erin" "is" "big" "+")
((triple3) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple3) -> rule6))]
("Erin" "is" "big" "-")
((triple3) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is cold.
Unknown
rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Bob" "is" "cold" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Erin is white.[(triple3)] @1: Erin is big.[(((triple3) -> rule6))] @2: Erin is green.[(((((triple3) -> rule6) triple3) -> rule7))] @3: Erin is cold.[(((((((triple3) -> rule6) triple3) -> rule7)) -> rule2) OR ((((((triple3) -> rule6) triple3) -> rule7) ((triple3) -> rule6)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
((triple3) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((((triple3) -> (rule6 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple3) -> (rule6 % int3)) triple3) -> (rule7 % int2)) ((triple3) -> (rule6 % int3))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3