Dave is kind. Fiona is red. Harry is kind. All round people are rough. Smart people are rough. All round, rough people are red. All rough, nice people are round. Nice, rough people are big. Kind people are nice.
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
All round, rough people are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
All rough, nice people are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Nice, rough people are big.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
Fiona is red.
True
1
proof
[(triple2)]
("Fiona" "is" "red" "+")
triple2
Dave is not kind.
False
1
inv-proof
[(triple1)]
("Dave" "is" "kind" "-")
triple1
Dave is nice.
True
2
proof
[(((triple1) -> rule6))]
("Dave" "is" "nice" "+")
((triple1) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
2
inv-proof
[(((triple1) -> rule6))]
("Dave" "is" "nice" "-")
((triple1) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "nice" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Dave is kind.[(triple1)] Fiona is red.[(triple2)] Harry is kind.[(triple3)] @1: Dave is nice.[(((triple1) -> rule6))] Harry is nice.[(((triple3) -> rule6))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
((triple1) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple3) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1