Dave is rough. Fiona is big. Harry is kind. Big people are cold. White, cold people are kind. If someone is big then they are rough. All cold, big people are rough. If someone is big and white then they are red. If someone is white then they are round. All cold, round people are rough. All cold, big people are round.
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
White, cold people are kind.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
All cold, big people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and white then they are red.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All cold, round people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All cold, big people are round.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Harry is kind.
True
1
proof
[(triple3)]
("Harry" "is" "kind" "+")
triple3
Harry is not kind.
False
1
inv-proof
[(triple3)]
("Harry" "is" "kind" "-")
triple3
Fiona is rough.
True
2
proof
[(((triple2) -> rule3) OR ((((triple2) -> rule1) triple2) -> rule4) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule8)) -> rule7))]
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple2) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple2) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("Fiona" "is" "cold" "-")
((triple2) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
True
4
proof
[(((((triple2) -> rule1) triple2) -> rule8))]
("Fiona" "is" "round" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not round.
False
4
inv-proof
[(((((triple2) -> rule1) triple2) -> rule8))]
("Fiona" "is" "round" "-")
((((triple2) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Dave is rough.[(triple1)] Fiona is big.[(triple2)] Harry is kind.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule1))] Fiona is rough.[(((triple2) -> rule3) OR ((((triple2) -> rule1) triple2) -> rule4) OR ((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule8)) -> rule7))] @2: Fiona is round.[(((((triple2) -> rule1) triple2) -> rule8))]
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple2) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3)) triple2) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2