Bob is rough. Charlie is cold. Charlie is red. Charlie is round. Erin is cold. Erin is smart. Fiona is cold. Fiona is round. Fiona is smart. Fiona is young. All red, cold things are kind. Rough things are kind. All young, smart things are rough.
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All red, cold things are kind.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
All young, smart things are rough.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Erin is smart.
True
1
proof
[(triple6)]
("Erin" "is" "smart" "+")
triple6
Bob is not rough.
False
1
inv-proof
[(triple1)]
("Bob" "is" "rough" "-")
triple1
Bob is kind.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Fiona is not rough.
False
3
inv-proof
[(((triple10 triple9) -> rule3))]
("Fiona" "is" "rough" "-")
((triple10 triple9) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@2: Erin is kind.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Erin" "is" "kind" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not smart.
Unknown
inv-random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is rough.[(triple1)] Charlie is cold.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Erin is cold.[(triple5)] Erin is smart.[(triple6)] Fiona is cold.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Bob is kind.[(((triple1) -> rule2))] Charlie is kind.[(((triple3 triple2) -> rule1))] Fiona is rough.[(((triple10 triple9) -> rule3))] @2: Fiona is kind.[(((((triple10 triple9) -> rule3)) -> rule2))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 triple2) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple10 triple9) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple10 triple9) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2